{"title":"Towards verification-based development of in-vehicle safety critical software: a case study","authors":"M. V. D. Heuvel, R. J. Bril, P. Velde, J. Lukkien","doi":"10.1145/1772643.1772654","DOIUrl":null,"url":null,"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.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"EDCC-CARS","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1772643.1772654","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
