Campus Event Calendar
Event Entry
What and Who
From eCall 2 Reality
Steffen Knapp
PhD Application Talk
AG 1, AG 2, AG 3, AG 4, AG 5
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 4 July 2005
11:55
-- Not specified --
46.1 - MPII
024
Saarbrücken
Abstract
Car electronics are often distributed real-time systems comprising hardware (processor and devices), an operating system, and applications. When going for verification, in addition to functional correctness properties one has to consider safety and time-critical properties. In this talk I will present a verification approach that aims at pervasive verification of such systems. To show applicability of my model stack, I consider an automatic emergency call system, eCall, as proposed by the EU commission to become mandatory for mass production cars from 2009 on.
Contact
Kerstin Meyer-Ross
9325-226
--email hidden
passcode not visible
logged in users only
Christine Kiesel, 06/30/2005 18:23
Christine Kiesel, 06/30/2005 18:17 -- Created document.
Christine Kiesel, 06/30/2005 18:17 -- Created document.