Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking
| Autor: | Ashalatha Kunnappilly, Cristina Seceleanu, Raluca Marinescu |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Decision support system
business.industry Computer science Architecture Analysis & Design Language 020207 software engineering 02 engineering and technology Automaton Variety (cybernetics) Quality of life (healthcare) Component (UML) Scalability 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Architecture Software engineering business |
| Zdroj: | Leveraging Applications of Formal Methods, Verification and Validation. Verification ISBN: 9783030034207 ISoLA (2) |
| DOI: | 10.1007/978-3-030-03421-4_29 |
| Popis: | A modern way of enhancing elderly people’s quality of life is by employing various Ambient Assisted Living solutions that facilitate an independent and safe living for their users. This is achieved by integrating computerized functions such as health and home monitoring, fall detection, reminders, etc. Such systems are safety critical, therefore ensuring at design time that they operate correctly, but also in a timely and robust manner is important. Most of the solutions are not analyzed formally at design time, especially if such Ambient Assisted Living functions are integrated within the same design. To address this concern, we propose a framework that relies on an abstract component-based description of the system’s architecture in the Architecture Analysis and Design Language. To ensure scalability of analysis, we transform the AADL models into a network of stochastic timed automata amenable to statistical analysis of various quality-of-service attributes. The architecture that we analyze is developed as part of the project CAMI, co-financed by the European Commission, and consists of a variety of health and home sensors, a data collector, local and cloud processing, as well as an artificial-intelligence-based decision support system. Our contribution paves the way towards achieving design-time assured integrated Ambient Assisted Living solutions, which in turn could reduce verification effort at later stages. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|