Model-based safety assessment: Review of the discipline and its challenges
O Lisagor, T Kelly, R Niu - The Proceedings of 2011 9th …, 2011 - ieeexplore.ieee.org
Since its emergence in 1990s, Model-Based Safety Assessment (MBSA) has enjoyed
significant interest from both academia and industry. The last decade has seen not only the …
significant interest from both academia and industry. The last decade has seen not only the …
Model-based dependability analysis: State-of-the-art, challenges, and future outlook
Over the past two decades, the study of model-based dependability analysis (MBDA) has
gathered significant research interest. Different approaches have been developed to …
gathered significant research interest. Different approaches have been developed to …
Model-based safety analysis of simulink models using SCADE design verifier
A Joshi, MPE Heimdahl - Computer Safety, Reliability, and Security: 24th …, 2005 - Springer
Safety analysis techniques have traditionally been performed manually by the safety
engineers. Since these analyses are based on an informal model of the system, it is unlikely …
engineers. Since these analyses are based on an informal model of the system, it is unlikely …
A proposal for model-based safety analysis
A Joshi, SP Miller, M Whalen… - 24th Digital Avionics …, 2005 - ieeexplore.ieee.org
System safety analysis techniques are well established and are used extensively during the
design of safety-critical systems. Despite this, most of the techniques are highly subjective …
design of safety-critical systems. Despite this, most of the techniques are highly subjective …
[HTML][HTML] Dynamic-risk-informed safety barrier management: An application to cost-effective barrier optimization based on data from multiple sources
An integrated approach for performance assessment and management of safety barriers in a
systemic manner is needed concerning the prevention and mitigation of major accidents in …
systemic manner is needed concerning the prevention and mitigation of major accidents in …
Designing safe, reliable systems using scade
As safety critical systems increase in size and complexity, the need for efficient tools to verify
their reliability grows. In this paper we present a tool that helps engineers design safe and …
their reliability grows. In this paper we present a tool that helps engineers design safe and …
Integrating model checking with HiP-HOPS in model-based safety analysis
The ability to perform an effective and robust safety analysis on the design of modern safety–
critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in …
critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in …
Analyzing an automotive testing process with evidence-based software engineering
CONTEXT: Evidence-based software engineering (EBSE) provides a process for solving
practical problems based on a rigorous research approach. The primary focus so far was on …
practical problems based on a rigorous research approach. The primary focus so far was on …
Model-based safety assessment for conceptual aircraft systems design
S Gradel, B Aigner, E Stumpf - CEAS Aeronautical Journal, 2022 - Springer
Traditional system technology modeling in conceptual aircraft design mainly relies on
empirical knowledge and methods derived from conventional systems, for which valid …
empirical knowledge and methods derived from conventional systems, for which valid …
Automatic generation of static fault trees from AADL models
A Joshi, S Vestal, P Binns - 2007 - conservancy.umn.edu
Safety-critical systems, such as avionics systems and medical devices, are developed with
stringent safety requirements. System safety analysis provides assurance that the system in …
stringent safety requirements. System safety analysis provides assurance that the system in …