使用MBE方法的工业案例研究:从架构到安全分析

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2010-05-04 DOI:10.1109/ISORCW.2010.11

S. Dalpez, R. Passerone, D. Cancila, F. Terrier

{"title":"使用MBE方法的工业案例研究:从架构到安全分析","authors":"S. Dalpez, R. Passerone, D. Cancila, F. Terrier","doi":"10.1109/ISORCW.2010.11","DOIUrl":null,"url":null,"abstract":"We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. The proposed methodology has found immediate industrial applications.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"140 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis\",\"authors\":\"S. Dalpez, R. Passerone, D. Cancila, F. Terrier\",\"doi\":\"10.1109/ISORCW.2010.11\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. The proposed methodology has found immediate industrial applications.\",\"PeriodicalId\":174806,\"journal\":{\"name\":\"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops\",\"volume\":\"140 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISORCW.2010.11\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORCW.2010.11","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

我们讨论了一个真实的工业安全相关设备在铁路应用领域的软件开发的初始阶段。特别是，为了获得对系统更大的信心，我们说明了系统架构的开发(使用标准模型特定于领域的语言)，安全完整性级别的计算和整个系统可靠性的计算。我们重申了对子系统的安全性分析。所提出的方法已经找到了直接的工业应用。

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

查看原文本刊更多论文

An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis

We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. The proposed methodology has found immediate industrial applications.

求助全文

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

来源期刊

2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops

自引率

0.00%

发文量