loading
Documents

Research.Publish.Connect.

Paper

Authors: Ashalatha Kunnappiilly ; Simin Cai ; Raluca Marinescu and Cristina Seceleanu

Affiliation: Mälardalen University, Västerås and Sweden

ISBN: 978-989-758-375-9

Keyword(s): Cyber-physical Systems, Ambient Assisted Living, Multi-Agent Systems, Architecture Analsysis And Design Language, Model Checking, PRISM.

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 a bility 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. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.84.139.101

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.