Dementia care, fall detection, and ambient-assisted living technologies help older adults age in place: a sco** review

CJ Gettel, K Chen, EM Goldberg - Journal of applied …, 2021 - journals.sagepub.com
Objectives: We aimed to describe recent technologic advances in the three domains of
dementia care, falls, and home supports; summarize existing literature on usability; and …

Barriers and Facilitators of Ambient Assisted Living Systems: A Systematic Literature Review

G Márquez, C Taramasco - … journal of environmental research and public …, 2023 - mdpi.com
Ambient Assisted Living Systems (AALSs) use information and communication technologies
to support care for the growing population of older adults. AALSs focus on providing …

Enabling security services in socially assistive robot scenarios for healthcare applications

A Vulpe, R Crăciunescu, AM Drăgulinescu… - Sensors, 2021 - mdpi.com
Today's IoT deployments are highly complex, heterogeneous and constantly changing. This
poses severe security challenges such as limited end-to-end security support, lack of cross …

Formal verification of a trusted execution environment-based architecture for IoT applications

DCG Valadares, ÁACC Sobrinho… - IEEE Internet of …, 2021 - ieeexplore.ieee.org
The Internet-of-Things (IoT) scenarios commonly present security and privacy concerns,
either due to the processing constraints of devices or the employment of external servers to …

What characterizes safety of ambient assisted living technologies?

K Denecke - Public Health and Informatics, 2021 - ebooks.iospress.nl
Ambient assisted living (AAL) technologies aim at increasing an individual's safety at home
by early recognizing risks or events that might otherwise harm the individual. A clear …

Formal analysis of an iot-based healthcare application

M Elleuch, S Tahar - 2023 IEEE Symposium on Computers and …, 2023 - ieeexplore.ieee.org
In the healthcare context, remote monitoring based on the Internet of Things (IoT) technology
is a widespread application. Underlying entities are interacting to bring up various services …

Formal analysis and verification of airborne software based on do-333

Z Cao, W Lv, Y Huang, J Shi, Q Li - Electronics, 2020 - mdpi.com
With rapid technological advances in airborne control systems, it has become imperative to
ensure the reliability, robustness, and adaptability of airborne software since failure of these …

[BOOK][B] Modeling and formal analysis of e-health systems

A Kunnappilly - 2021 - search.proquest.com
With the healthcare practice being increasingly dependent on digital processes and
electronic communication, there is a need to support a variety of e-Health applications of …

GoA4 级全自动运行系统驾驶模式切换的安全性建模.

谢迎锋, 王蓉 - … Technology & Network Security/**nxi Jishu …, 2022 - search.ebscohost.com
In order to verify whether the driving mode of GoA4 level automatic operation system
conforms to the correr sponding technical specifications in specific scenarios, a formal …

A formally assured intelligent ecosystem for enhanced ambient assisted living support

A Kunnappilly - Proceedings of the 33rd Annual ACM Symposium on …, 2018 - dl.acm.org
The increasing proportion of elderly adults across the world calls for Ambient Assisted Living
(AAL) solutions that can support the elderly in their daily activities, ensure timely resolution …