7th International Conference on Pervasive Computing Technologies for Healthcare

Research Article

Design and Verification of a Health-Monitoring Driver Assistance System

Download734 downloads
  • @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
Helena Gruhn1, Daniel Stöhr1,*, Mehmet Gövercin2, Sabine Glesner1
  • 1: Software Engineering for Embedded Systems, Technical University of Berlin
  • 2: Geriatrics Research Group, Charité - Universitätsmedizin Berlin
*Contact email: daniel.stoehr@tu-berlin.de

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.