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 ...