@inproceedings{14282beeac1241a8b8cf3a4eb9a060b3,
title = "Towards verification-based development of in-vehicle safety critical software: a case study",
abstract = "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.",
author = "{Heuvel, van den}, M.M.H.P. and R.J. Bril and {Velde, van de}, P. and J.J. Lukkien",
year = "2010",
doi = "10.1145/1772643.1772654",
language = "English",
isbn = "978-1-60558-915-2",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery, Inc",
pages = "35--38",
booktitle = "Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety (CARS'10, Valencia, Spain, April 27, 2010)",
address = "United States",
}