Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems

Ashalatha Kunnappiilly, Simin Cai, Raluca Marinescu, Cristina Seceleanu

2019

Abstract

Modern cyber-physical systems usually assume a certain degree of autonomy. Such systems, like Ambient Assisted Living systems aimed at assisting elderly people in their daily life, often need to perform safety-critical functions, for instance, fall detection, health deviation monitoring, communication to caregivers, etc. In many cases, the system users have distributed locations, as well as different needs that need to be serviced intelligently and simultaneously. These features call for intelligent, adaptive, scalable and fault-tolerant system design solutions, which are well embodied by multi-agent architectures. Analyzing such complex architectures at design phase, to verify if an abstraction of the system satisfies all the critical requirements is beneficial. In this paper, we start from an agent-based architecture for ambient assisted living systems, inspired from the literature, which we model in the popular Architecture Analysis and Design Language. Since the latter lacks the ability to specify autonomous agent behaviours, which are often intelligent, non deterministic or probabilistic, we extend the architectural language with a sub-language called Agent Annex, which we formally encode as a Stochastic Transition System. This contribution allows us to specify behaviours of agents involved in agent-based architectures of cyber-physical systems, which we show how to exhaustively verify with the state-of-art model checker PRISM. As a final step, we apply our framework on a distributed ambient assisted living system, whose critical requirements we verify with PRISM.

Paper Citation

in Harvard Style

Kunnappiilly A., Cai S., Marinescu R. and Seceleanu C. (2019). Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 114-126. DOI: 10.5220/0007730201140126

in Bibtex Style

@conference{enase19,
author={Ashalatha Kunnappiilly and Simin Cai and Raluca Marinescu and Cristina Seceleanu},
title={Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={114-126},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007730201140126},
isbn={978-989-758-375-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems
SN - 978-989-758-375-9
AU - Kunnappiilly A.
AU - Cai S.
AU - Marinescu R.
AU - Seceleanu C.
PY - 2019
SP - 114
EP - 126
DO - 10.5220/0007730201140126