Pub Date : 2017-11-14DOI: 10.1007/978-3-319-68499-4_9
Eduard Kamburjan, Reiner Hähnle
{"title":"Deductive Verification of Railway Operations","authors":"Eduard Kamburjan, Reiner Hähnle","doi":"10.1007/978-3-319-68499-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_9","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"326 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115941215","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 : 2017-11-14DOI: 10.1007/978-3-319-68499-4_5
M. Butler, Dana Dghaym, Tomáš Fischer, Son Hoang, Klaus Reichl, C. Snook, Peter Tummeltshammer
{"title":"Formal Modelling Techniques for Efficient Development of Railway Control Products","authors":"M. Butler, Dana Dghaym, Tomáš Fischer, Son Hoang, Klaus Reichl, C. Snook, Peter Tummeltshammer","doi":"10.1007/978-3-319-68499-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_5","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114940105","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 : 2017-10-01DOI: 10.1007/978-3-319-68499-4_11
Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Y. A. Ameur, J. Ordioni
{"title":"B-PERFect - Applying the PERF Approach to B Based System Developments","authors":"Alexandra Halchin, Abderrahmane Feliachi, Neeraj Kumar Singh, Y. A. Ameur, J. Ordioni","doi":"10.1007/978-3-319-68499-4_11","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_11","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131472241","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 : 2016-06-28DOI: 10.1007/978-3-319-33951-1_3
J. Peleska, Wen-ling Huang, Felix Hübner
{"title":"A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers","authors":"J. Peleska, Wen-ling Huang, Felix Hübner","doi":"10.1007/978-3-319-33951-1_3","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_3","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117278692","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 : 2016-06-28DOI: 10.1007/978-3-319-33951-1_11
P. Stankaitis, A. Iliasov
{"title":"Safety Verification of Heterogeneous Railway Networks","authors":"P. Stankaitis, A. Iliasov","doi":"10.1007/978-3-319-33951-1_11","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_11","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127400286","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 : 2016-06-28DOI: 10.1007/978-3-319-33951-1_4
Joeri de Ruiter, Richard J. Thomas, Tom Chothia
{"title":"A Formal Security Analysis of ERTMS Train to Trackside Protocols","authors":"Joeri de Ruiter, Richard J. Thomas, Tom Chothia","doi":"10.1007/978-3-319-33951-1_4","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_4","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125772156","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 : 2016-06-28DOI: 10.1007/978-3-319-33951-1_14
Daniel Kästner, C. Ferdinand
{"title":"Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements","authors":"Daniel Kästner, C. Ferdinand","doi":"10.1007/978-3-319-33951-1_14","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_14","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121817795","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 : 2016-06-28DOI: 10.1007/978-3-319-33951-1_1
R. Bloomfield, M. Bendele, P. Bishop, R. Stroud, S. Tonks
{"title":"The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned","authors":"R. Bloomfield, M. Bendele, P. Bishop, R. Stroud, S. Tonks","doi":"10.1007/978-3-319-33951-1_1","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_1","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125646420","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 : 2016-06-28DOI: 10.1007/978-3-319-33951-1_5
Po-Chi Huang, B. Milius
{"title":"Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security Threat","authors":"Po-Chi Huang, B. Milius","doi":"10.1007/978-3-319-33951-1_5","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_5","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127365772","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 : 2016-06-28DOI: 10.1007/978-3-319-33951-1_9
A. Iliasov, P. Stankaitis, D. Adjepon-Yamoah
{"title":"Static Verification of Railway Schema and Interlocking Design Data","authors":"A. Iliasov, P. Stankaitis, D. Adjepon-Yamoah","doi":"10.1007/978-3-319-33951-1_9","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_9","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"321 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132417965","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
扫码关注我们
求助内容：
应助结果提醒方式：