Integrating model checking with HiP-HOPS in model-based safety analysis-Reference-Cited by-同舟云学术

Integrating model checking with HiP-HOPS in model-based safety analysis

Published:2015-03 Issue: Volume:135 Page:64-80
ISSN:0951-8320
Container-title:Reliability Engineering & System Safety
language:en
Short-container-title:Reliability Engineering & System Safety

Author:

Sharvia Septavera,Papadopoulos Yiannis

Funder

University of Hull׳s Higher Education Innovation Funding

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality

Reference35 articles.

1. Hazard and operability studies (HAZOP studies);IEC,2000

2. Fault tree handbook;Vesely,1981

3. IEC60812. Functional safety of electrocal/electronic/programmable electronic safety/related systems, analysis techniques for system reliability—procedure for failure mode and effect analysis (FMEA); 1991.

4. Formal model-based development in aerospace systems: challenges to adoption. In: Lecture notes,;Heimdahl,2007

5. Systems engineering with SysML/UML: modeling, analysis, design;Weilkiens,2008

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evaluation of visual property specification languages based on practical model-checking experience;Journal of Systems and Software;2024-10

2. Simple analysis of complex system safety based on Finite State Machine Network and phase space theory;Reliability Engineering & System Safety;2024-09

3. An Information Integration Technology for Safety Assessment on Civil Airborne System;Aerospace;2024-06-06

4. Risk Identification and Safety Assessment of Human-Computer Interaction in Integrated Avionics Based on STAMP;Journal of Systems Engineering and Electronics;2024-06

5. Defining and characterizing model-based safety assessment: A review;Safety Science;2024-04