Towards verification-based development of in-vehicle safety critical software: a case study

M.M.H.P. Heuvel, van den, R.J. Bril, P. Velde, van de, J.J. Lukkien

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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.
Original languageEnglish
Title of host publicationProceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety (CARS'10, Valencia, Spain, April 27, 2010)
Place of PublicationNew York NY
PublisherAssociation for Computing Machinery, Inc
Pages35-38
ISBN (Print)978-1-60558-915-2
DOIs
Publication statusPublished - 2010

Publication series

NameACM International Conference Proceeding Series

Fingerprint Dive into the research topics of 'Towards verification-based development of in-vehicle safety critical software: a case study'. Together they form a unique fingerprint.

Cite this