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

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

筛选
英文 中文
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
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering 安全与安保协同工程的系统理论似然与严重性分析
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_4
W. G. Temple, Yue Wu, Binbin Chen, Z. Kalbarczyk
{"title":"Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering","authors":"W. G. Temple, Yue Wu, Binbin Chen, Z. Kalbarczyk","doi":"10.1007/978-3-319-68499-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_4","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"19 6 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":"126067330","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}
引用次数: 8
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
Cyber Security in Railways: Quo Vadis? 铁路网络安全:现状如何?
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_1
J. Braband
{"title":"Cyber Security in Railways: Quo Vadis?","authors":"J. Braband","doi":"10.1007/978-3-319-68499-4_1","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_1","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"16 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":"126779499","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}
引用次数: 5
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks 工程异构铁路网络的理论、技术和工具
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_16
P. Stankaitis, A. Iliasov
{"title":"Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks","authors":"P. Stankaitis, A. Iliasov","doi":"10.1007/978-3-319-68499-4_16","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_16","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"15 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":"134531322","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 Domain-Specific Language for Generic Interlocking Models and Their Properties 通用互锁模型及其属性的领域特定语言
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_7
Linh H. Vu, A. Haxthausen, J. Peleska
{"title":"A Domain-Specific Language for Generic Interlocking Models and Their Properties","authors":"Linh H. Vu, A. Haxthausen, J. Peleska","doi":"10.1007/978-3-319-68499-4_7","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_7","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":"2017-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128541113","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
LTE System Design for Urban Light Rail Transport 城市轻轨交通LTE系统设计
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_2
Gianluca Mandò, G. Giambene
{"title":"LTE System Design for Urban Light Rail Transport","authors":"Gianluca Mandò, G. Giambene","doi":"10.1007/978-3-319-68499-4_2","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_2","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"8 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":"125569428","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
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems 一种有效的城市轨道交通系统kpi评估方案
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_13
Bruno Adeline, P. Dersin, É. Fabre, L. Hélouët, Karim Kecir
{"title":"An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems","authors":"Bruno Adeline, P. Dersin, É. Fabre, L. Hélouët, Karim Kecir","doi":"10.1007/978-3-319-68499-4_13","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_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":"2017-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129638901","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}
引用次数: 5
Are Standards an Ambiguity-Free Reference for Product Validation? 标准是产品验证的无歧义参考吗?
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_17
Alessio Ferrari, M. Fusani, S. Gnesi
{"title":"Are Standards an Ambiguity-Free Reference for Product Validation?","authors":"Alessio Ferrari, M. Fusani, S. Gnesi","doi":"10.1007/978-3-319-68499-4_17","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_17","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"96 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":"125241676","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
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B CBTC系统的安全性分析:基于Event-B的严格方法
International Conference on Reliability, Safety, and Security of Railway Systems Pub Date : 2017-11-14 DOI: 10.1007/978-3-319-68499-4_10
Mathieu Comptier, D. Déharbe, J. M. Perez, Louis Mussat, P. Thibaut, D. Sabatier
{"title":"Safety Analysis of a CBTC System: A Rigorous Approach with Event-B","authors":"Mathieu Comptier, D. Déharbe, J. M. Perez, Louis Mussat, P. Thibaut, D. Sabatier","doi":"10.1007/978-3-319-68499-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-68499-4_10","url":null,"abstract":"","PeriodicalId":433664,"journal":{"name":"International Conference on Reliability, Safety, and Security of Railway Systems","volume":"32 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":"127777844","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信