基于组件的线控制动系统安全关键软件的开发与验证

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI:10.1109/PDSE.1999.779745

M. Gunzert, A. Nägele

{"title":"基于组件的线控制动系统安全关键软件的开发与验证","authors":"M. Gunzert, A. Nägele","doi":"10.1109/PDSE.1999.779745","DOIUrl":null,"url":null,"abstract":"In this paper we describe the development and verification of software for an automotive brake-by-wire system. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The software of this computer is subject to a set of safety related requirements which must be verified. We have developed the software using synchronous software components based on the synchronous ESTEREL. Many safety properties have been verified successfully and the software has been integrated in a prototype brake-by-wire system in a research car.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"33","resultStr":"{\"title\":\"Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components\",\"authors\":\"M. Gunzert, A. Nägele\",\"doi\":\"10.1109/PDSE.1999.779745\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we describe the development and verification of software for an automotive brake-by-wire system. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The software of this computer is subject to a set of safety related requirements which must be verified. We have developed the software using synchronous software components based on the synchronous ESTEREL. Many safety properties have been verified successfully and the software has been integrated in a prototype brake-by-wire system in a research car.\",\"PeriodicalId\":373753,\"journal\":{\"name\":\"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems\",\"volume\":\"9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-05-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"33\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PDSE.1999.779745\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PDSE.1999.779745","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 33

摘要

本文介绍了汽车线控制动系统软件的开发与验证。这是一种没有机械或液压备份的新制动系统。该系统基于时间触发通信架构。这个分布式系统中的中央控制计算机，称为线控制动管理器，是一个冗余设计，以容忍任何单一故障。这台计算机的软件受一系列安全相关要求的约束，这些要求必须经过验证。我们在同步ESTEREL的基础上，采用同步软件组件进行了软件开发。该系统的许多安全性能已被成功验证，并已集成到一辆研究车上的线控制动系统样机中。

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

查看原文本刊更多论文

Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components

In this paper we describe the development and verification of software for an automotive brake-by-wire system. This is a new brake system without mechanical or hydraulic backup. The system is based on a time-triggered communication architecture. The central control computer in this distributed system, called Brake-by-Wire Manager, is a redundant design in order to tolerate any single failure. The software of this computer is subject to a set of safety related requirements which must be verified. We have developed the software using synchronous software components based on the synchronous ESTEREL. Many safety properties have been verified successfully and the software has been integrated in a prototype brake-by-wire system in a research car.

求助全文

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

来源期刊

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems

自引率

0.00%

发文量