ANALYSIS OF AN AIRBAG CONTROL UNIT (FINISHED) |
|
|||||
Reachability anaysis in continuous-time Markov decision processes Logics towards POMDP with and/or without rewards Energy consumption in Ad-Hoc and Sensor Networks Stochastic Interfaces An eclipse environment for Modest (finished) Analysis of an Airbag Control Unit (finished) Title Analysis of an Airbag Control Unit
Content In coorporation with a major German automotive supplier, this project revolves around modelling the behaviour of an airbag control unit together with its peripheric sensors. The prime focus is the prediction of dependability guarantees, such as: in more than 99.999% of the cases, the airbag only ignites if it should ignite. The validation of such properties is performed using a stochastic-timed modelling formalism such as MoDeST [ARG01] and/or Moebius [DEA02]. Various modelling and analysis questions are expected to arise, in order to justifiably place reliance on the proper functioning of the controller. Status Finished.
Results The results can be obtained here. Contact Prof. Dr.-Ing. Holger Hermanns References
|
||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |