Pub Date : 2019-06-04DOI: 10.1007/978-3-030-18744-6_18
Thorsten Schulz, F. Golatowski, D. Timmermann
{"title":"Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture","authors":"Thorsten Schulz, F. Golatowski, D. Timmermann","doi":"10.1007/978-3-030-18744-6_18","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_18","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":"2019-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133344888","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 : 2019-06-04DOI: 10.1007/978-3-030-18744-6_6
Muhammad Chenariyan Nakhaee, D. Hiemstra, M. Stoelinga, M. Noort
{"title":"The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey","authors":"Muhammad Chenariyan Nakhaee, D. Hiemstra, M. Stoelinga, M. Noort","doi":"10.1007/978-3-030-18744-6_6","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_6","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127985592","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 : 2019-06-04DOI: 10.1007/978-3-030-18744-6_14
Camille Parillaud, Yoann Fonteneau, F. Belmonte
{"title":"Interlocking Formal Verification at Alstom Signalling","authors":"Camille Parillaud, Yoann Fonteneau, F. Belmonte","doi":"10.1007/978-3-030-18744-6_14","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_14","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127915836","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 : 2019-06-04DOI: 10.1007/978-3-030-18744-6_11
Y. Ledru, Akram Idani, R. Ayed, Abderrahim Ait Wakrime, P. Bon
{"title":"A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules","authors":"Y. Ledru, Akram Idani, R. Ayed, Abderrahim Ait Wakrime, P. Bon","doi":"10.1007/978-3-030-18744-6_11","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_11","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":"2019-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127510550","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 : 2019-06-04DOI: 10.1007/978-3-030-18744-6_13
Mathieu Comptier, M. Leuschel, Luis-Fernando Mejia, J. M. Perez, Mareike Mutz
{"title":"Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B","authors":"Mathieu Comptier, M. Leuschel, Luis-Fernando Mejia, J. M. Perez, Mareike Mutz","doi":"10.1007/978-3-030-18744-6_13","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_13","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":"2019-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129195836","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 : 2019-06-04DOI: 10.1007/978-3-030-18744-6_8
Faiz ul Muram, B. Gallina, Samina Kanwal
{"title":"A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process","authors":"Faiz ul Muram, B. Gallina, Samina Kanwal","doi":"10.1007/978-3-030-18744-6_8","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_8","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130092688","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_15
D. Basile, F. Giandomenico, S. Gnesi
{"title":"Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming","authors":"D. Basile, F. Giandomenico, S. Gnesi","doi":"10.1007/978-3-319-68499-4_15","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_15","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"41 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":"122738798","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_12
Stefan Mitsch, M. Gario, Christof J. Budnik, M. Golm, André Platzer
{"title":"Formal Verification of Train Control with Air Pressure Brakes","authors":"Stefan Mitsch, M. Gario, Christof J. Budnik, M. Golm, André Platzer","doi":"10.1007/978-3-319-68499-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_12","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":"2017-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123300929","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_14
V. Massa, M. Damiani, M. Papini, Gianluca Mandò
{"title":"Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems","authors":"V. Massa, M. Damiani, M. Papini, Gianluca Mandò","doi":"10.1007/978-3-319-68499-4_14","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_14","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"31 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":"123514661","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
扫码关注我们
求助内容：
应助结果提醒方式：