Pub Date : 2016-06-28DOI: 10.1007/978-3-319-33951-1_6
Florent Pépin, M. Vigliotti
{"title":"Risk Assessment of the 3Des in ERTMS","authors":"Florent Pépin, M. Vigliotti","doi":"10.1007/978-3-319-33951-1_6","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_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":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122167879","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_7
Xiao Han, T. Tang, J. Lv, Haifeng Wang
{"title":"Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking","authors":"Xiao Han, T. Tang, J. Lv, Haifeng Wang","doi":"10.1007/978-3-319-33951-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_7","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"5 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":"126294977","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_17
Nicolas Breton, Yoann Fonteneau
{"title":"S3: Proving the Safety of Critical Systems","authors":"Nicolas Breton, Yoann Fonteneau","doi":"10.1007/978-3-319-33951-1_17","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_17","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"33 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":"129471498","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_18
S. Conchon, Mohamed Iguernelala
{"title":"Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo","authors":"S. Conchon, Mohamed Iguernelala","doi":"10.1007/978-3-319-33951-1_18","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_18","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"26 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":"123970893","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_12
A. Haxthausen, N. H. Nga, M. Roggenbach
{"title":"Comparing Formal Verification Approaches of Interlocking Systems","authors":"A. Haxthausen, N. H. Nga, M. Roggenbach","doi":"10.1007/978-3-319-33951-1_12","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_12","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"28 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131776596","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_8
Marco Filax, Tim Gonschorek, F. Ortmeier
{"title":"Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models","authors":"Marco Filax, Tim Gonschorek, F. Ortmeier","doi":"10.1007/978-3-319-33951-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_8","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":"2016-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130992408","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_13
Luke J. W. Martin
{"title":"Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems","authors":"Luke J. W. Martin","doi":"10.1007/978-3-319-33951-1_13","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_13","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"25 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":"131732079","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_16
Claire Dross, Yannick Moy
{"title":"Abstract Software Specifications and Automatic Proof of Refinement","authors":"Claire Dross, Yannick Moy","doi":"10.1007/978-3-319-33951-1_16","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_16","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"115 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":"124696603","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_2
D. Sabatier
{"title":"Using Formal Proof and B Method at System Level for Industrial Projects","authors":"D. Sabatier","doi":"10.1007/978-3-319-33951-1_2","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_2","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"9 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":"125618700","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_15
Nazim Benaïssa, D. Bonvoisin, Abderrahmane Feliachi, J. Ordioni
{"title":"The PERF Approach for Formal Verification","authors":"Nazim Benaïssa, D. Bonvoisin, Abderrahmane Feliachi, J. Ordioni","doi":"10.1007/978-3-319-33951-1_15","DOIUrl":"https://doi.org/10.1007/978-3-319-33951-1_15","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"38 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":"129600470","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
扫码关注我们
求助内容：
应助结果提醒方式：