TY - GEN
T1 - Analyzing ambient assisted living solutions
T2 - 12th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2017
AU - Kunnappilly, Ashalatha
AU - Legay, Axel
AU - Margaria, Tiziana
AU - Seceleanu, Cristina
AU - Steffen, Bernhard
AU - Traonouez, Louis Marie
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/5/16
Y1 - 2017/5/16
N2 - Typical AAL solutions rely on integrating capabilities for health monitoring, fall detection, communication and social inclusion, supervised physical exercises, vocal interfaces, robotic platforms etc. Ensuring the safe function and quality of service with respect to various extra-functional requirements like timing and security of such AAL solutions is of highest importance. To facilitate analysis, latest system development platforms provide underlying infrastructures for model-driven design (e.g., via the DIME tool), timing and resource-usage specification (e.g., via the REMES tool), security features (e.g., by employing SECube), and statistical model-checking techniques (e.g, via Plasma). In this paper, we discuss the challenges associated with analyzing complex AAL solutions, from relevant properties to semantic interoperability issues raised by employing various frameworks for modeling and analysis, and applicability to evolving architectures. We take as examples two of the prominent existing AAL architectures and our own prior experience.
AB - Typical AAL solutions rely on integrating capabilities for health monitoring, fall detection, communication and social inclusion, supervised physical exercises, vocal interfaces, robotic platforms etc. Ensuring the safe function and quality of service with respect to various extra-functional requirements like timing and security of such AAL solutions is of highest importance. To facilitate analysis, latest system development platforms provide underlying infrastructures for model-driven design (e.g., via the DIME tool), timing and resource-usage specification (e.g., via the REMES tool), security features (e.g., by employing SECube), and statistical model-checking techniques (e.g, via Plasma). In this paper, we discuss the challenges associated with analyzing complex AAL solutions, from relevant properties to semantic interoperability issues raised by employing various frameworks for modeling and analysis, and applicability to evolving architectures. We take as examples two of the prominent existing AAL architectures and our own prior experience.
UR - http://www.scopus.com/inward/record.url?scp=85032869048&partnerID=8YFLogxK
U2 - 10.1109/DTIS.2017.7930168
DO - 10.1109/DTIS.2017.7930168
M3 - Conference contribution
AN - SCOPUS:85032869048
T3 - Proceedings - 2017 12th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2017
BT - Proceedings - 2017 12th IEEE International Conference on Design and Technology of Integrated Systems in Nanoscale Era, DTIS 2017
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 4 April 2017 through 6 April 2017
ER -
