Research Article
Design and Verification of a Health-Monitoring Driver Assistance System
@INPROCEEDINGS{10.4108/icst.pervasivehealth.2013.252091, author={Helena Gruhn and Daniel St\o{}hr and Mehmet G\o{}vercin and Sabine Glesner}, title={Design and Verification of a Health-Monitoring Driver Assistance System}, proceedings={7th International Conference on Pervasive Computing Technologies for Healthcare}, publisher={IEEE}, proceedings_a={PERVASIVEHEALTH}, year={2013}, month={5}, keywords={health-monitoring driver assistance system formal verification service-oriented sensor-actuator-networks}, doi={10.4108/icst.pervasivehealth.2013.252091} }- Helena Gruhn
Daniel Stöhr
Mehmet Gövercin
Sabine Glesner
Year: 2013
Design and Verification of a Health-Monitoring Driver Assistance System
PERVASIVEHEALTH
ICST
DOI: 10.4108/icst.pervasivehealth.2013.252091
Abstract
Health-monitoring driver assistance systems support an independent and self-determined lifestyle enhancing the driver's safety. These systems are health-critical and need to guarantee correct behavior in emergency situations such as heart attacks. Furthermore, they have to be adjustable and extendable with respect to integrated functionalities to fit individual and changing needs. We present a concept for a mobile, service-oriented driver assistance system with dynamic network behavior. Additionally, we introduce a verification approach to ensure correct behavior.
Copyright © 2013–2024 ICST