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

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

筛选
英文 中文
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture 高保证安全体系结构下基于通信的列车控制应用集成方法
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 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}
引用次数: 3
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey 机器学习在铁路轨道维修中的最新应用综述
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 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}
引用次数: 46
Interlocking Formal Verification at Alstom Signalling 阿尔斯通信令的联锁形式验证
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 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}
引用次数: 4
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules 铁路信号规则验证建模的关注点分离方法
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 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}
引用次数: 1
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B 事件b中基于属性的CBTC区域控制器建模与验证
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 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}
引用次数: 15
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process 一种工具支持的基于模型的方法，促进符合en50129的安全审批流程
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 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}
引用次数: 4
Merging Worlds - Aligning Safety and Security 合并世界-调整安全和保障
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_19
Christian Schlehuber, Dominik Renkel
{"title":"Merging Worlds - Aligning Safety and Security","authors":"Christian Schlehuber, Dominik Renkel","doi":"10.1007/978-3-030-18744-6_19","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_19","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":"129158198","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
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming 基于整数线性规划的城市交通系统可靠动态路径
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 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}
引用次数: 2
Formal Verification of Train Control with Air Pressure Brakes 气压制动器列车控制的正式验证
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 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}
引用次数: 17
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems 基于开源工具的轻轨车载系统冗余可靠架构
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 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}
引用次数: 0
首页 上一页 下一页 尾页
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学术官方微信