A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications

Gillen, Matthew; Rohloff, Kurt; Manghwani, Prakash; Schantz, Richard

doi:10.1109/hase.2007.66

Cited by 6 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…21 Some researchers have done a lot of work on integrating COTS components into safety-critical system in a safe and reliable way. [22][23][24] To our knowledge, most researches on modeling of safety computer platform focus on logical computation correctness and function safety and timing requirements which are also vital to safety-critical control are usually overlooked. Besides, the feasibility and validity of requirement specification are usually not proved until the completion of laboratory testing or real line testing of prototype.…”

Section: Introductionmentioning

confidence: 99%

Study on formal modeling and verification of safety computer platform

Wang

Tang

2016

Advances in Mechanical Engineering

View full text Add to dashboard Cite

With the development of automatic control and communication technology, communication-based train control system is adopted by more and more urban mass transit system to automatically supervise the train speed to follow a desired trajectory. Taking reliability, availability, maintainability, and safety into consideration, 2 3 2-out-of-2 safety computer platform is usually utilized as the hardware platform of safety-critical subsystem in communication-based train control. To enhance the safety integrity level of safety computer platform, safety-related logics have to be verified before integrating them into practical systems. Therefore, a significant problem of developing safety computer platform is how to guarantee that system behaviors will satisfy the function requirements as well as responding to external events and processes within the limit of right time. Based on the qualitative and quantitative analysis of function and timing characteristics, this article introduces a formal modeling and verification approach for this real-time system. In the proposed method, timed automata network model for 2 3 2-out-of-2 safety computer platform is built, and system requirements are specified and formalized as computation tree logic properties which can be verified by UPPAAL model checker.

show abstract

Section: Introductionmentioning

confidence: 99%