A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions
Since modern ambient assisted living solutions integrate a multitude of assisted-living functionalities, out of which some are safety critical, it is desirable that these systems are analyzed at their design stage to detect possible errors. To achieve this, one needs suitable architectures that supp...
Main Authors: | Ashalatha Kunnappilly, Raluca Marinescu, Cristina Seceleanu |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2019-11-01
|
Series: | Sensors |
Subjects: | |
Online Access: | https://www.mdpi.com/1424-8220/19/22/5057 |
Similar Items
-
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
by: Aaditya Prakash Chouhan, et al.
Published: (2020-08-01) -
Formal verification of the pub-sub blockchain interoperability protocol using stochastic timed automata
by: Md Tauseef Alam, et al.
Published: (2023-09-01) -
Modeling and Verifying the CKB Blockchain Consensus Protocol
by: Meng Sun, et al.
Published: (2021-11-01) -
Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą
by: Daniel Daukševič
Published: (2023-05-01) -
Evaluating the Impact of Different Symmetrical Models of Ambient Assisted Living Systems
by: Wael Alosaimi, et al.
Published: (2021-03-01)