The ever increasing software complexity in the safety critical automotive domain induces new challenges in ensuring a fault-free system design. In this paper we propose a novel approach using Analytical Software Design (ASD). The ASD toolsuite provides means to develop software that is robust by construction. We show the integration of the ASD approach in the commonly used development workflow using Matlab/Simulink by means of a case study.
|Title of host publication
|Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety (CARS'10, Valencia, Spain, April 27, 2010)
|Place of Publication
|New York NY
|Association for Computing Machinery, Inc
|Published - 2010
|ACM International Conference Proceeding Series