Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
Pub Date : 1900-01-01DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：