The Community for Technology Leaders
2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2015)
Madeira, Portugal
Aug. 26, 2015 to Aug. 28, 2015
ISBN: 978-1-4673-7584-9
pp: 159-166
ABSTRACT
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 (AVE) that constructs evolvable Belief-Desire-Intention (BDI) agents to coordinate and plan the re-verification of component models after system changes. The engine provides BDI-agents with existing techniques for the compositional verification of component-based systems. We illustrate this integration for Satisfiability Modulo Theories (SMT) constraint analysis and demonstrate our framework on requirements arising from industrial control systems.
INDEX TERMS
Engines, Mathematical model, Context, Component architectures, Runtime environment, Computational modeling
CITATION

K. Johnson, R. Sinha, R. Calinescu and J. Ruan, "A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures," 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Madeira, Portugal, 2015, pp. 159-166.
doi:10.1109/SEAA.2015.49
94 ms
(Ver 3.3 (11022016))