铁路基础设施安全特性建模与验证的两种方法

2015 International Conference on Industrial Engineering and Systems Management (IESM) Pub Date : 2015-10-01 DOI:10.1109/IESM.2015.7380134

Alain Faivre, Arnault Lapitre, A. Lanusse, M. Perin, S. Rangra, M. Sallak, W. Schon

{"title":"铁路基础设施安全特性建模与验证的两种方法","authors":"Alain Faivre, Arnault Lapitre, A. Lanusse, M. Perin, S. Rangra, M. Sallak, W. Schon","doi":"10.1109/IESM.2015.7380134","DOIUrl":null,"url":null,"abstract":"This paper presents and compares two model-based approaches to ensure the dependability of a rail system in the context of ERTMS (European Rail Traffic Management System). V&V activities against safety properties are carried out by simulating train operations on State machine models of railway infrastructures. This paper presents this approach by means of a comparative study between two tools which analyze the models with various verification strategies. The tools used are Matlab Simulink environment and the DIVERSITY symbolic execution tool from CEA LIST.","PeriodicalId":308675,"journal":{"name":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Two methods for modeling and verification of safety properties of railway infrastructures\",\"authors\":\"Alain Faivre, Arnault Lapitre, A. Lanusse, M. Perin, S. Rangra, M. Sallak, W. Schon\",\"doi\":\"10.1109/IESM.2015.7380134\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents and compares two model-based approaches to ensure the dependability of a rail system in the context of ERTMS (European Rail Traffic Management System). V&V activities against safety properties are carried out by simulating train operations on State machine models of railway infrastructures. This paper presents this approach by means of a comparative study between two tools which analyze the models with various verification strategies. The tools used are Matlab Simulink environment and the DIVERSITY symbolic execution tool from CEA LIST.\",\"PeriodicalId\":308675,\"journal\":{\"name\":\"2015 International Conference on Industrial Engineering and Systems Management (IESM)\",\"volume\":\"55 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 International Conference on Industrial Engineering and Systems Management (IESM)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IESM.2015.7380134\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 International Conference on Industrial Engineering and Systems Management (IESM)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IESM.2015.7380134","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文提出并比较了两种基于模型的方法来确保ERTMS(欧洲铁路交通管理系统)背景下铁路系统的可靠性。针对安全属性的V&V活动通过在铁路基础设施的状态机模型上模拟列车运行来实现。本文通过对两种工具的比较研究提出了这种方法，这两种工具分析了具有不同验证策略的模型。使用的工具是Matlab Simulink环境和CEA LIST中的DIVERSITY符号执行工具。

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

查看原文本刊更多论文

Two methods for modeling and verification of safety properties of railway infrastructures

This paper presents and compares two model-based approaches to ensure the dependability of a rail system in the context of ERTMS (European Rail Traffic Management System). V&V activities against safety properties are carried out by simulating train operations on State machine models of railway infrastructures. This paper presents this approach by means of a comparative study between two tools which analyze the models with various verification strategies. The tools used are Matlab Simulink environment and the DIVERSITY symbolic execution tool from CEA LIST.

求助全文

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

来源期刊

2015 International Conference on Industrial Engineering and Systems Management (IESM)

自引率

0.00%

发文量