Design and verification of a health-monitoring driver assistance system

Author

Gruhn, Helena ; Stohr, D. ; Govercin, Mehmet ; Glesner, Sabine

Author_Institution

Software Eng. for Embedded Syst., Tech. Univ. of Berlin, Berlin, Germany

fYear

2013

fDate

5-8 May 2013

Firstpage

266

Lastpage

267

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.

Keywords

driver information systems; formal verification; medical computing; mobile computing; road safety; road traffic; driver safety; health-monitoring driver assistance system; mobile oriented driver assistance system; service-oriented driver assistance system; verification approach; Belts; Calculus; Computational modeling; Educational institutions; Reliability; Vehicles;

fLanguage

English

Publisher

ieee

Conference_Titel

Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on

Conference_Location

Venice

Print_ISBN

978-1-4799-0296-5

Electronic_ISBN

978-1-936968-80-0

Type

conf

Filename

6563939