掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Reliability, Safety, and Security of Railway Systems
International Conference on Reliability, Safety, and Security of Railway Systems
召开年:
2016
召开地:
Paris(FR)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Verification of Railway Interlocking -Compositional Approach with OCRA
机译:
使用OCRA验证铁路联锁-组合方法
作者:
Christophe Limbree
;
Quentin Cappart
;
Charles Pecheur
;
Stefano Tonetta
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
2.
Safety Verification of Heterogeneous Railway Networks
机译:
异构铁路网的安全验证
作者:
Paulius Stankaitis
;
Alexei Iliasov
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
3.
Preface
机译:
前言
作者:
Ralf Pinger
;
Thierry Lecomte
;
Alexander Romanovsky
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
4.
Comparing Formal Verification Approaches of Interlocking Systems
机译:
互锁系统的形式验证方法比较
作者:
Anne Elisabeth Haxthausen
;
Hoang Nga Nguyen
;
Markus Roggenbach
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
5.
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned
机译:
从网络安全角度对基于ERTMS的铁路系统进行风险评估:方法和经验教训
作者:
Robin Bloomfield
;
Marcus Bendele
;
Peter Bishop
;
Robert Stroud
;
Simon Tonks
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Security assessment;
Safety-critical systems;
Security-informed safety;
ERTMS;
Railway signaling systems;
6.
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems
机译:
预测推理和机器学习可增强铁路系统的可靠性
作者:
Luke J.W. Martin
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Predictive reasoning;
Artificial intelligence;
Machine learning;
Reliable systems;
Railway traffic;
Data analytics;
Train describer;
7.
Using Formal Proof and B Method at System Level for Industrial Projects
机译:
在工业项目的系统级别使用形式化证明和B方法
作者:
Denis Sabatier
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
System level proof;
Formal methods;
Event-B;
Atelier-B;
8.
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
机译:
应用抽象解释验证EN-50128软件安全要求
作者:
Daniel Kaestner
;
Christian Ferdinand
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
9.
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers
机译:
基于路径的联锁系统控制器的硬件/软件集成测试的新方法
作者:
Jan Peleska
;
Wen-ling Huang
;
Felix Huebner
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Interlocking systems;
Model-based testing;
Equivalence class partition testing;
HW/SW integration testing;
10.
The PERF Approach for Formal Verification
机译:
PERF形式验证的方法
作者:
Nazim Benaissa
;
David Bonvoisin
;
Abderrahmane Feliachi
;
Julien Ordioni
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Formal methods;
Verification tool-chain;
Railway safety;
PERF;
11.
A Formal Security Analysis of ERTMS Train to Trackside Protocols
机译:
ERTMS火车到路边协议的形式安全性分析
作者:
Joeri de Ruiter
;
Richard J. Thomas
;
Tom Chothia
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
12.
Abstract Software Specifications and Automatic Proof of Refinement
机译:
抽象软件规范和自动优化证明
作者:
Claire Dross
;
Yannick Moy
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Formal methods;
Verification and validation;
Certification;
Dependability;
EN 50128;
13.
Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security Threat
机译:
运营安全性-IT安全威胁下铁路运营程序的不断发展
作者:
Po-Chi Huang
;
Birgit Milius
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Operational security;
Functional safety;
IT security;
Railway operation;
Degraded operation;
Operational procedures;
Railway safety;
14.
S3: Proving the Safety of Critical Systems
机译:
S3:证明关键系统的安全性
作者:
Nicolas Breton
;
Yoann Fonteneau
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
15.
Risk Assessment of the 3Des in ERTMS
机译:
ERTMS中3Des的风险评估
作者:
Florent Pepin
;
Maria Grazia Vigliotti
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
3Des;
ERTMS;
Railway systems;
Performance analysis;
Key management;
Key distribution;
16.
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo
机译:
使用Alt-Ergo可以提高Atelier-B的证明自动化率
作者:
Sylvain Conchon
;
Mohamed Iguernlala
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
SMT solvers;
B proof obligations;
B method;
17.
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking
机译:
基于模型检验的中国列车控制系统3级故障分析
作者:
Xiao Han
;
Tao Tang
;
Jidong Lv
;
Haifeng Wang
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
18.
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models
机译:
需求规格的正确形式化:用于构建形式化模型的V模型
作者:
Marco Filax
;
Tim Gonschorek
;
Frank Ortmeier
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Formal modelling process;
Requirements traceability;
System verification;
Railway system verification;
19.
Static Verification of Railway Schema and Interlocking Design Data
机译:
铁路方案和联锁设计数据的静态验证
作者:
Alexei Iliasov
;
Paulius Stankaitis
;
David Adjepon-Yamoah
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
20.
The PERF Approach for Formal Verification
机译:
正式验证的顺利方法
作者:
Nazim Benaissa
;
David Bonvoisin
;
Abderrahmane Feliachi
;
Julien Ordioni
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Formal methods;
Verification tool-chain;
Railway safety;
PERF;
21.
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned
机译:
从网络安全视角的基于ERTMS的铁路系统的风险评估:学习方法论和经验教训
作者:
Robin Bloomfield
;
Marcus Bendele
;
Peter Bishop
;
Robert Stroud
;
Simon Tonks
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Security assessment;
Safety-critical systems;
Security-informed safety;
ERTMS;
Railway signaling systems;
22.
Verification of Railway Interlocking - Compositional Approach with OCRA
机译:
铁路互锁的验证 - 与OCRA的组成方法
作者:
Christophe Limbree
;
Quentin Cappart
;
Charles Pecheur
;
Stefano Tonetta
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
23.
Using Formal Proof and B Method at System Level for Industrial Projects
机译:
在工业项目系统级别使用正式证明和B方法
作者:
Denis Sabatier
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
System level proof;
Formal methods;
Event-B;
Atelier-B;
24.
Operational Security - A Coming Evolution of Railway Operational Procedures Under the IT Security Threat
机译:
运营安全 - 在IT安全威胁下进入铁路运营程序的演变
作者:
Po-Chi Huang
;
Birgit Milius
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Operational security;
Functional safety;
IT security;
Railway operation;
Degraded operation;
Operational procedures;
Railway safety;
25.
Static Verification of Railway Schema and Interlocking Design Data
机译:
铁路架构和互锁设计数据的静态验证
作者:
Alexei Iliasov
;
Paulius Stankaitis
;
David Adjepon-Yamoah
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
26.
Comparing Formal Verification Approaches of Interlocking Systems
机译:
比较互锁系统的正式验证方法
作者:
Anne Elisabeth Haxthausen
;
Hoang Nga Nguyen
;
Markus Roggenbach
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
27.
Safety Verification of Heterogeneous Railway Networks
机译:
异构铁路网络的安全验证
作者:
Paulius Stankaitis
;
Alexei Iliasov
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
28.
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo
机译:
增加Atelier-B的证据自动化率归功于Alt-Ergo
作者:
Sylvain Conchon
;
Mohamed Iguernlala
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
SMT solvers;
B proof obligations;
B method;
29.
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers
机译:
基于路线的互锁系统控制器的HW / SW集成测试的一种新方法
作者:
Jan Peleska
;
Wen-ling Huang
;
Felix Hubner
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Interlocking systems;
Model-based testing;
Equivalence class partition testing;
HW/SW integration testing;
30.
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
机译:
应用抽象解释来验证EN-50128软件安全要求
作者:
Daniel Kastner
;
Christian Ferdinand
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
31.
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking
机译:
基于模型检查的中国火车控制系统级别的失效分析
作者:
Xiao Han
;
Tao Tang
;
Jidong Lv
;
Haifeng Wang
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
32.
A Formal Security Analysis of ERTMS Train to Trackside Protocols
机译:
跟踪协议的ERTMS列车的正式安全分析
作者:
Joeri de Ruiter
;
Richard J. Thomas
;
Tom Chothia
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
33.
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models
机译:
正确的要求规格形式化:建立正式模型的V模型
作者:
Marco Filax
;
Tim Gonschorek
;
Frank Ortmeier
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Formal modelling process;
Requirements traceability;
System verification;
Railway system verification;
34.
Abstract Software Specifications and Automatic Proof of Refinement
机译:
抽象软件规格和改进自动证明
作者:
Claire Dross
;
Yannick Moy
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Formal methods;
Verification and validation;
Certification;
Dependability;
EN 50128;
35.
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems
机译:
铁路系统可靠性提高的预测推理与机器学习
作者:
Luke J. W. Martin
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
Predictive reasoning;
Artificial intelligence;
Machine learning;
Reliable systems;
Railway traffic;
Data analytics;
Train describer;
36.
Risk Assessment of the 3Des in ERTMS
机译:
ertms中3DES的风险评估
作者:
Florent Pepin
;
Maria Grazia Vigliotti
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
关键词:
3Des;
ERTMS;
Railway systems;
Performance analysis;
Key management;
Key distribution;
37.
S3: Proving the Safety of Critical Systems
机译:
S3:证明关键系统的安全性
作者:
Nicolas Breton
;
Yoann Fonteneau
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2016年
38.
Redundant and Reliable Architecture Based on Open Source Tools for Light-Rail-Transit On-Board-Systems
机译:
基于开源工具的冗余和可靠的架构,用于轻轨传输载机系统
作者:
Vincenzo Di Massa
;
Mirko Damiani
;
Maurizio Papini
;
Gianluca Mando
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
On board systems;
Light rail transit;
Open source;
Software architecture;
Redundant system;
Micro service;
Agile;
39.
Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
机译:
工程异构铁路网络的理论,技术和工具
作者:
Paulius Stankaitis
;
Alexei Iliasov
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Distributed railway interlocking;
Hybrid systems;
Event-B method;
40.
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems
机译:
OVADO - 增强安全关键铁路系统的数据验证
作者:
Manel Fredj
;
Sven Leger
;
Abderrahmane Feliachi
;
Julien Ordioni
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
OVADO;
Data validation;
Formal methods;
Safety-critical railway systems;
41.
Cyber Security in Railways: Quo Vadis?
机译:
铁路网络安全:QUO VADIS?
作者:
Jens Braband
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Railway;
Cyber security;
Safety;
Risk assessment;
Cyber security requirements;
42.
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B
机译:
CBTC系统的安全分析:赛事-B的严格方法
作者:
Mathieu Comptier
;
David Deharbe
;
Julien Molinero Perez
;
Louis Mussat
;
Thibaut Pierre
;
Denis Sabatier
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
43.
B-PERFect - Applying the PERF Approach to B Based System Developments
机译:
B-Perfect - 应用于B基于B的系统发展方法
作者:
Alexandra Halchin
;
Abderrahmane Feliachi
;
Neeraj Kumar Singh
;
Yamine Ait-Ameur
;
Julien Ordioni
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
PERF;
B method;
HLL;
Safety assessment;
Translation;
44.
Are Standards an Ambiguity-Free Reference for Product Validation?
机译:
标准是产品验证的无模糊的参考吗?
作者:
Alessio Ferrari
;
Mario Fusani
;
Stefania Gnesi
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Standard;
Clause;
Requirement;
Ambiguity;
Railway;
Natural language;
NLP;
Defect detection;
Vagueness;
Generality;
45.
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems
机译:
监管城市列车系统中KPI的有效评估方案
作者:
Bruno Adeline
;
Pierre Dersin
;
Eric Fabre
;
Loic Helouet
;
Karim Kecir
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Key Performance Indicators;
Metro networks;
Regulation;
Simulation;
46.
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS
机译:
评估5G网络的频闪和故障安全通信中的框架/ etcs
作者:
Roberto Canonico
;
Stefano Marrone
;
Roberto Nardone
;
Valeria Vittorini
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
5G networks;
ERTMS/ETCS;
Model checking;
Model transformation;
Network emulation;
47.
Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-engineering
机译:
系统 - 安全和安全共同工程的理论似然性和严重性分析
作者:
William G. Temple
;
Yue Wu
;
Binbin Chen
;
Zbigniew Kalbarczyk
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
48.
A Domain-Specific Language for Generic Interlocking Models and Their Properties
机译:
用于通用互锁模型及其属性的域特定语言
作者:
Linh H. Vu
;
Anne E. Haxthausen
;
Jan Peleska
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Railway interlocking systems;
Domain-specific languages;
Formal methods;
Formal models;
Formal verification;
49.
Formal Verification of Train Control with Air Pressure Brakes
机译:
带气压制动器的列车控制的正式验证
作者:
Stefan Mitsch
;
Marco Gario
;
Christof J. Budnik
;
Michael Golm
;
Andre Platzer
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
50.
LTE System Design for Urban Light Rail Transport
机译:
城市轻轨运输LTE系统设计
作者:
Gianluca Mando
;
Giovanni Giambene
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Light rail transit;
Safety-critical signaling;
LTE;
51.
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming
机译:
通过整数线性规划来对城市传输系统可靠的动态路由
作者:
Davide Basile
;
Felicita Di Giandomenico
;
Stefania Gnesi
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
52.
Formal Modelling Techniques for Efficient Development of Railway Control Products
机译:
铁路控制产品有效发展的正式建模技术
作者:
M. Butler
;
D. Dghaym
;
T. Fischer
;
T. S. Hoang
;
K. Reichl
;
C. Snook
;
P. Tummeltshammer
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Event-B;
IUML-B;
ERS;
Interlocking;
53.
Deductive Verification of Railway Operations
机译:
阻止铁路运营的验证
作者:
Eduard Kamburjan
;
Reiner Hahnle
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
54.
Bayesian Network Modeling Applied on Railway Level Crossing Safety
机译:
贝叶斯网络建模应用于铁路水平交叉安全
作者:
Ci Liang
;
Mohamed Ghazel
;
Olivier Cazier
;
Laurent Bouillaut
;
El-Miloudi El-Koursi
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2017年
关键词:
Bayesian network modeling;
Level crossing safety;
Traincar collision;
Risk assessment;
Statistical analysis;
55.
Threat Modeling in the Railway Domain
机译:
铁路领域威胁建模
作者:
Christoph Schmittner
;
Peter Tummeltshammer
;
David Hofbauer
;
Abdelkader Magdy Shaaban
;
Michael Meidlinger
;
Markus Tauber
;
Arndt Bonitz
;
Reinhard Hametner
;
Manuela Brandstetter
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Railway;
Cybersecurity;
Threat modeling;
IEC 62443;
Cybersecurity analysis;
56.
Interlocking Formal Verification at Alstom Signalling
机译:
在Alstom信号传导中互锁正式验证
作者:
Camille Parillaud
;
Yoann Fonteneau
;
Fabien Belmonte
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Railway signalling;
Formal verification;
Industrial usage;
Interlocking;
Safety-critical systems;
57.
Formal Model Validation Through Acceptance Tests
机译:
通过验收测试进行正式模型验证
作者:
Tomas Fischer
;
Dana Dghyam
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Formal methods;
Validation;
Acceptance tests;
Event-B;
IUML-B;
Gherkin;
Cucumber;
58.
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B
机译:
事件-B中CBTC区域控制器的基于物业的建模与验证
作者:
Mathieu Comptier
;
Michael Leuschel
;
Luis-Fernando Mejia
;
Julien Molinero Perez
;
Mareike Mutz
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
B-Method;
Event-B;
CBTC;
Zone controller;
Proof;
Animation;
Model checking;
59.
RBS2HLL: A Formal Modeling of Relay-Based Interlocking
机译:
RBS2HLL:基于中继的联锁的正式建模
作者:
Naim Aber
;
Benjamin Blanc
;
Nathalie Ferkane
;
Mohand Meziani
;
Julien Ordioni
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Interlocking;
Formal methods;
Safety-critical railway system;
HLL;
60.
Merging Worlds - Aligning Safety and Security
机译:
合并世界 - 对准安全性和安全性
作者:
Christian Schlehuber
;
Dominik Renkel
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Safety;
Security;
Engineering;
Industrial experience;
61.
Automated Planning of ETCS Tracks
机译:
自动规划等等轨道
作者:
Stefan Dillmann
;
Reiner Hahnle
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
62.
Integration Approach for Communications-Based Train Control Applications in a High Assurance Security Architecture
机译:
高保证安全架构中基于通信的列车控制应用的集成方法
作者:
Thorsten Schulz
;
Frank Golatowski
;
Dirk Timmermann
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
MILS;
Security;
Formal modeling;
Railway;
CPS;
63.
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
机译:
铁路信令规则经过认证建模的关注方法
作者:
Yves Ledru
;
Akram Idani
;
Rahma Ben Ayed
;
Abderrahim Ait Wakrime
;
Philippe Bon
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
64.
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System
机译:
自主电车轨道定位系统中危害的统计模型检查
作者:
Davide Basile
;
Alessandro Fantechi
;
Luigi Rucher
;
Gianluca Mando
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
65.
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
机译:
基于中继的铁路互锁系统的B规范基于系统状态演化的命题逻辑
作者:
Dalay Israel de Almeida Pereira
;
David Deharbe
;
Matthieu Perin
;
Philippe Bon
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Railway interlocking systems;
Relay diagrams;
B-method;
Propositional logic;
66.
Safe and Time-Optimal Control for Railway Games
机译:
铁路游戏安全和最佳控制
作者:
Shyam Lal Karra
;
Kim Guldstrand Larsen
;
Florian Lorber
;
Jiri Srba
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
67.
Efficient Data Validation for Geographical Interlocking Systems
机译:
高效地理互锁系统数据验证
作者:
Jan Peleska
;
Niklas Krafczyk
;
Anne E. Haxthausen
;
Ralf Pinger
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Data validation;
Interlocking systems;
LTL;
CTL;
Model checking;
68.
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
机译:
概率模型检查地铁法规绩效评估
作者:
Nathalie Bertrand
;
Benjamin Bordais
;
Loic Helouet
;
Thomas Mari
;
Julie Parreaux
;
Ocan Sankur
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
69.
The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey
机译:
最近的机器学习在铁路轨道维修中的应用:调查
作者:
Muhammad Chenariyan Nakhaee
;
Djoerd Hiemstra
;
Marielle Stoelinga
;
Martijn van Noort
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Rail track;
Machine learning;
Maintenance;
Deep learning;
70.
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
机译:
走向基于刀具的域域特定方法,用于铁路系统建模和验证
作者:
Akram Idani
;
Yves Ledru
;
Abderrahim Ait Wakrime
;
Rahma Ben Ayed
;
Philippe Bon
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
MDE;
DSL;
Formal methods;
Visual animation;
71.
Connected or Autonomous Trains?
机译:
连接或自主列车?
作者:
Alessandro Fantechi
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
72.
Survey on Formal Methods and Tools in Railways: The ASTRail Approach
机译:
铁路正式方法和工具调查:天体方法
作者:
Alessio Ferrari
;
Maurice H. ter Beek
;
Franco Mazzanti
;
Davide Basile
;
Alessandro Fantechi
;
Stefania Gnesi
;
Andrea Piattino
;
Daniele Trentini
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
Formal methods;
Model-based development;
Railways;
73.
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process
机译:
一种促进符合EN50129的基于型号的基于模型的安全性批准过程
作者:
Faiz Ul Muram
;
Barbara Gallina
;
Samina Kanwal
会议名称:
《International Conference on Reliability, Safety, and Security of Railway Systems》
|
2019年
关键词:
EN 50129;
EN 50126-1;
Safety management;
Safety processes;
Regulatory compliance;
Safety plans;
Model transformation;
意见反馈
回到顶部
回到首页