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

[ARG01] P. D'Argenio, H. Hermanns, J.-P. Katoen, R. Klaren. MoDeST -- A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001, LNCS 2165, 2001.
[DEA02] Deavours, Clark, Courtney, Daly, Derasavi, Doyle, Sanders, Webster. The MOBIUS framework and its implementation. IEEE Trans. on Softw. Eng. (28)10, 2002.