By the same authors

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)


Published copy (DOI)



Publication details

Title of host publication41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
DatePublished - 2015
Original languageEnglish


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations