A multi-agent framework for dependable adaptation of evolving system architectures

Date
2015
Authors
Johnson, K
Sinha, R
Calinescu, R
Ruan, J
Supervisor
Item type
Conference Contribution
Degree name
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE
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.

Description
Keywords
Source
41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Funchal, 2015-08-26 to 2015-08-28, published in: A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures, pp.159 - 166 (8)
Rights statement
Copyright © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.