面向验证的车载安全关键软件开发:一个案例研究

EDCC-CARS Pub Date : 2010-04-27 DOI:10.1145/1772643.1772654

M. V. D. Heuvel, R. J. Bril, P. Velde, J. Lukkien

{"title":"面向验证的车载安全关键软件开发:一个案例研究","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":"{\"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}","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

摘要

在汽车安全关键领域，软件复杂性的不断增加给确保无故障系统设计带来了新的挑战。在本文中，我们提出了一种新的方法使用分析软件设计(ASD)。ASD工具套件提供了开发构建健壮的软件的方法。通过一个案例研究，我们展示了使用Matlab/Simulink将ASD方法集成到常用的开发工作流中。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

EDCC-CARS

自引率

0.00%

发文量