Abstract We report on how implementing a Model Based Automotive SW Engineering Process in an industrial setting can ensure the correctness of automotive applications when a process based on formal models is used. We show how formal methods, in particular model checking, can be used to ensure consistency of the models and can prove that the models satisfy selected functional and safety requirements. The technique can also be used to automatically generate test vectors from the model. Hence we show how in many ways formal verification techniques can add value to the models used for different purposes in developing automotive applications.
Adding Value to Automotive Models
2006-01-01
17 pages
Article/Chapter (Book)
Electronic Resource
English
Adding Value to Automotive Models
British Library Conference Proceedings | 2006
|Online Contents | 1994
|Online Contents | 2008
British Library Online Contents | 2018
|Adding Value Through Predictive Analysis
British Library Conference Proceedings | 2000
|