发布求助
文献互助 智能选刊 最新文献

International Conference on Reliability, Safety, and Security of Railway Systems最新文献

筛选
英文 中文
Formal Design and Validation of an Automatic Train Operation Control System 列车自动运行控制系统的形式化设计与验证
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_12
A. Amendola, Lorenzo Barruffo, M. Bozzano, A. Cimatti, Salvatore De Simone, E. Fedeli, A. Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, G. Zampedri
{"title":"Formal Design and Validation of an Automatic Train Operation Control System","authors":"A. Amendola, Lorenzo Barruffo, M. Bozzano, A. Cimatti, Salvatore De Simone, E. Fedeli, A. Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, G. Zampedri","doi":"10.1007/978-3-031-05814-1_12","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_12","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123298964","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The 4SECURail Formal Methods Demonstrator 4 . securail形式化方法演示
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_11
F. Mazzanti, Dimitri Belli
{"title":"The 4SECURail Formal Methods Demonstrator","authors":"F. Mazzanti, Dimitri Belli","doi":"10.1007/978-3-031-05814-1_11","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_11","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128344811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack 在故障或网络攻击下CBTC的透明、不可知、安全通道
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_16
Utku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu
{"title":"TASC: Transparent, Agnostic, Secure Channel for CBTC Under Failure or Cyberattack","authors":"Utku Tefek, Ertem Esiner, Lin Wei, Yih-Chun Hu","doi":"10.1007/978-3-031-05814-1_16","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_16","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130267927","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems OVADO -加强安全关键铁路系统的数据验证
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-68499-4_6
M. Fredj, Sven Leger, Abderrahmane Feliachi, J. Ordioni
{"title":"OVADO - Enhancing Data Validation for Safety-Critical Railway Systems","authors":"M. Fredj, Sven Leger, Abderrahmane Feliachi, J. Ordioni","doi":"10.1007/978-3-319-68499-4_6","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_6","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130942996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Assigning Safe Executed Systems to Meanings 为安全执行的系统赋值
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_9
L. Burdy, D. Déharbe, D. Sabatier
{"title":"Assigning Safe Executed Systems to Meanings","authors":"L. Burdy, D. Déharbe, D. Sabatier","doi":"10.1007/978-3-031-05814-1_9","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_9","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122953420","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Enhancing Autonomous Train Safety Through A Priori-Map Based Perception 通过基于优先图的感知增强自主列车安全性
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_8
Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin
{"title":"Enhancing Autonomous Train Safety Through A Priori-Map Based Perception","authors":"Ankur Mahtani, Nadia Chouchani, Maxime Herbreteau, Denis Rafin","doi":"10.1007/978-3-031-05814-1_8","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_8","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117005386","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways 铁路内部SIL4云安全关键通信协议分析
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_15
Benjamin Rother, F. Golatowski, Zeeshan Ansar, Don Kuzhiyelil, Stefan Resch, R. Hametner, Prashant Pathak
{"title":"Analysis of Safety-Critical Communication Protocols for On-Premise SIL4 Cloud in Railways","authors":"Benjamin Rother, F. Golatowski, Zeeshan Ansar, Don Kuzhiyelil, Stefan Resch, R. Hametner, Prashant Pathak","doi":"10.1007/978-3-031-05814-1_15","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_15","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132379521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Safety Invariant Verification that Meets Engineers' Expectations 满足工程师期望的安全不变验证
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_2
A. Iliasov, L. Laibinis, Dominic Taylor, I. Lopatkin, A. Romanovsky
{"title":"Safety Invariant Verification that Meets Engineers' Expectations","authors":"A. Iliasov, L. Laibinis, Dominic Taylor, I. Lopatkin, A. Romanovsky","doi":"10.1007/978-3-031-05814-1_2","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_2","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126706286","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Investigating Human Error Within GoA-2 Metro Lines 调查果阿邦地铁线路的人为失误
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_13
Josh Hunter, J. Mcdermid
{"title":"Investigating Human Error Within GoA-2 Metro Lines","authors":"Josh Hunter, J. Mcdermid","doi":"10.1007/978-3-031-05814-1_13","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_13","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126303108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimal Railway Routing Using Virtual Subsections 利用虚拟分段优化铁路路线
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-05814-1_5
Tom Peham, Judith Przigoda, Nils Przigoda, R. Wille
{"title":"Optimal Railway Routing Using Virtual Subsections","authors":"Tom Peham, Judith Przigoda, Nils Przigoda, R. Wille","doi":"10.1007/978-3-031-05814-1_5","DOIUrl":"https://doi.org/10.1007/978-3-031-05814-1_5","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130515465","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信