Study on model-based safety verification of Automatic Train Protection system

2009 Asia-Pacific Conference on Computational Intelligence and Industrial Applications (PACIIA) ◽

10.1109/paciia.2009.5406388 ◽

2009 ◽

Author(s):

Haifeng Wang ◽

Shuo Liu ◽

Chunhai Gao

Keyword(s):

Protection System ◽

Safety Verification ◽

Download Full-text

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems

Journal of Information Processing ◽

10.2197/ipsjjip.25.797 ◽

2017 ◽

Vol 25 (0) ◽

pp. 797-810 ◽

Author(s):

Tasuku Ishigooka ◽

Habib Saissi ◽

Thorsten Piper ◽

Stefan Winter ◽

Neeraj Suri

Keyword(s):

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems ◽

Safety Critical ◽

Download Full-text

Extended abstract for model based fast protection system for high power RF tube amplifiers used at European XFEL accelerator

2016 IEEE-NPSS Real Time Conference (RT) ◽

10.1109/rtc.2016.7543163 ◽

2016 ◽

Author(s):

Lukasz Butkowski ◽

Vladimir Vogel ◽

Holger Schlarb ◽

Jerzy Szabatin

Keyword(s):

Protection System ◽

Download Full-text

A model based design framework for safety verification of a semi-autonomous inspection drone

2016 UKACC 11th International Conference on Control (CONTROL) ◽

10.1109/control.2016.7737551 ◽

2016 ◽

Author(s):

Owen McAree ◽

Jonathan M. Aitken ◽

Sandor M. Veres

Keyword(s):

Design Framework ◽

Safety Verification ◽

Model Based ◽

Autonomous Inspection

Download Full-text

A Model-Based Architecture for a Small Flexible Fault Protection System

AIAA Infotech@Aerospace Conference ◽

10.2514/6.2009-2028 ◽

2009 ◽

Author(s):

Garth Watney

Keyword(s):

Protection System ◽

Model Based ◽

Fault Protection

Download Full-text

Model-based software development for automatic train protection system

2009 Asia-Pacific Conference on Computational Intelligence and Industrial Applications (PACIIA) ◽

10.1109/paciia.2009.5406387 ◽

2009 ◽

Author(s):

Haifeng Wang ◽

Chunhai Gao ◽

Shuo Liu

Keyword(s):

Software Development ◽

Protection System ◽

Download Full-text

A Model-Based Fast Protection System for High-Power RF Tube Amplifiers Used at the European XFEL Accelerator

IEEE Transactions on Nuclear Science ◽

10.1109/tns.2017.2706560 ◽

2017 ◽

Vol 64 (6) ◽

pp. 1203-1210

Author(s):

Lukasz Butkowski ◽

Vladimir Vogel ◽

Holger Schlarb ◽

Jerzy Szabatin

Keyword(s):

Protection System ◽

Download Full-text

Model-based design and analysis of a subsea high integrity pressure protection system (HIPPS)

2016 IEEE International Conference on Advanced Intelligent Mechatronics (AIM) ◽

10.1109/aim.2016.7576936 ◽

2016 ◽

Author(s):

Amine Meziou ◽

Taoufik Wassar ◽

Majdi Chaari ◽

Matthew A. Franchek ◽

Reza Tafreshi

Keyword(s):

Protection System ◽

Model Based ◽

Download Full-text

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems

2008 IEEE Real-Time and Embedded Technology and Applications Symposium ◽

10.1109/rtas.2008.28 ◽

2008 ◽

Author(s):

Jianliang Yi ◽

Honguk Woo ◽

James C. Browne ◽

Aloysius K. Mok ◽

Fei Xie ◽

...

Keyword(s):

Embedded Systems ◽

Safety Verification ◽

Model Based ◽

Executable Model

Download Full-text

Model-based safety verification under uncertainty

Computer Aided Chemical Engineering - European Symposium on Computer Aided Process Engineering-10 ◽

10.1016/s1570-7946(00)80134-0 ◽

2000 ◽

pp. 793-798

Author(s):

H. Huang ◽

C.S. Adjiman ◽

N. Shah

Keyword(s):

Safety Verification ◽

Download Full-text

On the Safety Verification of RSS Model-based Variable Focus Function Camera for Autonomous Vehicle

10.47953/sae-pp-00194 ◽

2021 ◽

Author(s):

Min Joong Kim ◽

Tonghyun Kim ◽

Sung Hun Yu ◽

Young Min Kim

Keyword(s):

Autonomous Vehicle ◽

Safety Verification ◽

Model Based ◽

Download Full-text