Towards a Unified Model-Based Safety Assessment

Peikenkamp, Thomas; Cavallo, Antonella; Valacca, Laura; Böde, Eckard; Pretzer, Matthias; Hahn, Ernst Moritz

doi:10.1007/11875567_21

Cited by 19 publications

(8 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, a fault tree can automatically be generated. A similar approach is described by Peikenkamp [30]. Further to this, the dependency structure can be used to formalize the hazardous events listed in the table for analyzing the scenario, as we will demonstrate in the next section.…”

Section: Fig 6 Example Entry Of the Ooghlmentioning

confidence: 97%

See 1 more Smart Citation

Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

Droste

Läsche

Sobiech

et al. 2012

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. The commercial installation of offshore wind farms is still far from having established standards or procedures and puts high demands on employees who deal with uncertainty and risks. We present a modelbased risk assessment approach to support the development of health, safety, and environment (HSE) plans for safe offshore operations. For this purpose, a process model is used to integrate all aspects of these complex and safety-critical operations which involve many different actors, resources, and environmental conditions. On the basis of this model, we are able to identify and precisely describe hazards, quantify their safety impact, and develop risk mitigation means. To this end, we developed methods and tools to support this process, resulting in a formalization of hazardous events that can be used to unambiguously describe the risks of a given offshore operation model. We will demonstrate the feasibility of our approach on a specific offshore scenario.

show abstract

Section: Fig 6 Example Entry Of the Ooghlmentioning

confidence: 97%

“…A detailed methodology for fault injection and model checking has been developed in the ESACS and ISAAC projects (cf. [30,31]) and will not be discussed further in this paper.…”

Section: Risk Picturementioning

confidence: 97%

Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

Droste

Läsche

Sobiech

et al. 2012

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Such dependencies are characterized in terms of failure mode propagation leading to an interesting hybrid between the FI and FLM approaches. [1,8,26] Hybrid Approach e.g. Software Deviation Analysis [28] Finally, it is important to note that we have intentionally excluded the Error Modeling Annex of AADL (previously mentioned in section 2) from the classification.…”

Section: Engineering Semantics Of Component Interfacesmentioning

confidence: 99%

Model-based safety assessment: Review of the discipline and its challenges

Lisagor

Kelly

Niu

2011

The Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety

View full text Add to dashboard Cite

Abstract-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 development of a number of methods, techniques and tools, but also the gradual adoption of MBSA techniques by industry and its acceptance by regulators. However, the field of MBSA encompasses a large number of fundamentally dissimilar techniques. This paper presents a simple classification schema for MBSA techniques based on two criteria -provenance of the model and engineering semantics of component dependencies captured by the model. The classification organizes the existing techniques into a number of coherent families. Applicability, limitations and challenges of most prominent families of MBSA techniques are presented, and some of the common challenges faced by MBSA discipline are discussed.

show abstract

“…EAST-ADL aims to support model transformation and tool interoperability with external safety analysis techniques. Besides HiP-HOPS (Papadopoulos, 1999), other approaches to model-based safety analysis and verification being investigated include: ISAAC and its predecessor ESACS in the aerospace industries (Peikenkamp, 2006), ASSERT on software intensive systems specified in AADL (ASSERT, 2010), SETTA on time-triggered architectures of automotive systems (SETTA, 2002), and SAFEDOR on maritime systems (SAFEDOR, 2004).…”

Section: Related Workmentioning

confidence: 99%

Integrated safety and architecture modeling for automotive embedded systems*

Chen

Lönn

Blom

et al. 2011

Elektrotech. Inftech.

View full text Add to dashboard Cite

EAST-ADL is an architecture description language (ADL) for model-based development of automotive embedded systems. The formalization of domain-specific engineering information and methodology brings a potential for a wide range of benefits for information management, system design and integration, tool interaction, documentation and communication. This paper describes the EAST-ADL language support for safety requirements, faults/failures, hazards and safety constraints in the context of ISO/DIS 26262 reference safety lifecycle. Based on the language support, the safety related information can be derived and managed seamlessly along with its target nominal system architecture model with multiple abstraction levels and view extensions. Through model transformation and tool integration, automated safety analysis is allowed.Integrierte Sicherheits-und Architekturmodelle fü r automotive eingebettete Systeme. EAST-ADL ist eine Architekturbeschreibungssprache (ADL) fü r die modellbasierte Entwicklung von eingebetteten Systemen im Bereich der Fahrzeugtechnik. Die Formalisierung von Domä nen-spezifischen Informationen und Methoden bringt einen Mehrwert fü r eine breite Palette von Anwendungen in den Bereichen Informationsmanagement, Systemdesign und Integration, Toolketten, Dokumentation und Kommunikation. Diese Publikation beschreibt die EAST-ADL-Unterstü tzung fü r Sicherheitsanforderungen und -bedingungen, Gefahren, Fehler und Stö rungen im Kontext des ISO 26262-Phasenmodells. Basierend auf dieser Sprachunterstü tzung kö nnen sicherheitsbezogene Informationen abgeleitet und nahtlos mit dem dazugehö rigen Architekturmodell verwaltet werden. Dieses berü cksichtigt verschiedene Abstraktionsebenen und Sichtweisen. Die Modelltransformation und Integration verschiedener Softwarewerkzeuge erlaubt so eine automatisierte Sicherheitsanalyse. Schlü sselwö rter: EAST-ADL; ISO/DIS 26262; funktionale Sicherheit; Fehlermodell

show abstract

Towards a Unified Model-Based Safety Assessment

Cited by 19 publications

References 7 publications

Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations

Model-based safety assessment: Review of the discipline and its challenges

Integrated safety and architecture modeling for automotive embedded systems*

Contact Info

Product

Resources

About