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

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

筛选
英文 中文
Connected or Autonomous Trains? 互联列车还是自动列车?
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_1
A. Fantechi
{"title":"Connected or Autonomous Trains?","authors":"A. Fantechi","doi":"10.1007/978-3-030-18744-6_1","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_1","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"88 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":"124559608","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}
引用次数: 10
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation 面向铁路系统建模和验证的基于工具的特定领域方法
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_2
Akram Idani, Y. Ledru, Abderrahim Ait Wakrime, R. Ayed, P. Bon
{"title":"Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation","authors":"Akram Idani, Y. Ledru, Abderrahim Ait Wakrime, R. Ayed, P. Bon","doi":"10.1007/978-3-030-18744-6_2","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_2","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":"127439677","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}
引用次数: 11
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System 有轨电车自动定位系统中危险的统计模型检验
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_3
D. Basile, A. Fantechi, Luigi Rucher, Gianluca Mandò
{"title":"Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System","authors":"D. Basile, A. Fantechi, Luigi Rucher, Gianluca Mandò","doi":"10.1007/978-3-030-18744-6_3","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_3","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"19 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":"116036608","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}
引用次数: 7
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution 基于系统状态演化命题逻辑的继电联锁系统规范
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_16
D. I. D. A. Pereira, D. Déharbe, M. Perin, P. Bon
{"title":"B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution","authors":"D. I. D. A. Pereira, D. Déharbe, M. Perin, P. Bon","doi":"10.1007/978-3-030-18744-6_16","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_16","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"62 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":"127787523","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}
引用次数: 9
Formal Model Validation Through Acceptance Tests 通过验收测试正式验证模型
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_10
Tomáš Fischer, Dana Dghaym
{"title":"Formal Model Validation Through Acceptance Tests","authors":"Tomáš Fischer, Dana Dghaym","doi":"10.1007/978-3-030-18744-6_10","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_10","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":"2019-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127901739","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}
引用次数: 7
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking 基于概率模型检验的地铁规则性能评价
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_4
N. Bertrand, Benjamin Bordais, L. Hélouët, Thomas Mari, Julie Parreaux, O. Sankur
{"title":"Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking","authors":"N. Bertrand, Benjamin Bordais, L. Hélouët, Thomas Mari, Julie Parreaux, O. Sankur","doi":"10.1007/978-3-030-18744-6_4","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_4","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":"132194548","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
Automated Planning of ETCS Tracks ETCS轨道的自动规划
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_5
S. Dillmann, Reiner Hähnle
{"title":"Automated Planning of ETCS Tracks","authors":"S. Dillmann, Reiner Hähnle","doi":"10.1007/978-3-030-18744-6_5","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_5","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"3 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":"128450690","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}
引用次数: 6
Safe and Time-Optimal Control for Railway Games 铁路博弈的安全和时间最优控制
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_7
Shyam Lal Karra, K. Larsen, Florian Lorber, J. Srba
{"title":"Safe and Time-Optimal Control for Railway Games","authors":"Shyam Lal Karra, K. Larsen, Florian Lorber, J. Srba","doi":"10.1007/978-3-030-18744-6_7","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_7","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":"129059307","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}
引用次数: 10
Threat Modeling in the Railway Domain 铁路领域的威胁建模
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_17
Christoph Schmittner, Peter Tummeltshammer, David Hofbauer, A. Shaaban, Michael Meidlinger, Markus Tauber, Arndt Bonitz, R. Hametner, Manuela Brandstetter
{"title":"Threat Modeling in the Railway Domain","authors":"Christoph Schmittner, Peter Tummeltshammer, David Hofbauer, A. Shaaban, Michael Meidlinger, Markus Tauber, Arndt Bonitz, R. Hametner, Manuela Brandstetter","doi":"10.1007/978-3-030-18744-6_17","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_17","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"6 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":"125517386","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}
引用次数: 11
Survey on Formal Methods and Tools in Railways: The ASTRail Approach 铁路形式化方法与工具研究:ASTRail方法
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2019-06-04 DOI: 10.1007/978-3-030-18744-6_15
Alessio Ferrari, M. T. Beek, F. Mazzanti, D. Basile, A. Fantechi, S. Gnesi, Andrea Piattino, Daniele Trentini
{"title":"Survey on Formal Methods and Tools in Railways: The ASTRail Approach","authors":"Alessio Ferrari, M. T. Beek, F. Mazzanti, D. Basile, A. Fantechi, S. Gnesi, Andrea Piattino, Daniele Trentini","doi":"10.1007/978-3-030-18744-6_15","DOIUrl":"https://doi.org/10.1007/978-3-030-18744-6_15","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"274 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":"133831685","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}
引用次数: 19
下一页 尾页
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学术官方微信