Browsing Open Research by Author "Calinescu, R"
Now showing items 1-2 of 2
-
A scalable approach for re-configuring evolving industrial control systems
Sinha, R; Johnson, K; Calinescu, R (IEEE, 2014)We present a scalable approach to automatically re-configure evolving IEC 61499 systems for deployment onto an available set of resources. We capture system architecture and high-level configuration requirements formally, ... -
A multi-agent framework for dependable adaptation of evolving system architectures
Johnson, K; Sinha, R; Calinescu, R; Ruan, J (IEEE, 2015)We present a multi-agent framework for the formal verification of component-based systems after changes such as addition, removal and modification of components. The core of our approach is an Agent Verification Engine ...