Design and verification of a health-monitoring driver assistance system

Authors:
Helena Gruhn;Daniel Stöhr;Mehmet Gövercin;Sabine Glesner
Affiliations:
Technical University of Berlin;Technical University of Berlin;Charité - Universitätsmedizin Berlin;Technical University of Berlin
Venue:
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare
Year:
2013

Citing 5
Cited 0

Techniques for automatic verification of real-time systems

Techniques for automatic verification of real-time systems
A theory of timed automata

Theoretical Computer Science
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Service-oriented sensor-actuator networks: Promises, challenges, and the road ahead

Computer Communications
Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin

Proceedings of the 16th International SPIN Workshop on Model Checking Software

Quantified Score

Hi-index	0.00

Visualization

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.