Integrated safety and architecture modeling for automotive embedded systems*

Abstract

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

A knowledge-in-the-loop approach to integrated safety & security for cooperative system-of-systems

“…2. For example, from a safety engineering point of view, information about a system's assumption about its operational situations, definitions of functional boundary and safe states becomes necessary for the preliminary hazard analysis (PHA) in safety engineering according to IS026262 [12]. To derive the functional and technical safety requirements, information about the available safety mechanisms and measures for operation perception, pattern recognition and behavior adaption is needed.…”

Towards an Ontology-Based Approach to Safety Management in Cooperative Intelligent Transportation Systems

“…hazards, faults/failures, safety requirements) to be declared and structured seamlessly along with the lifecycle of nominal system development. Based on such a structured description, EAST-ADL also provides necessary modeling support for functional safety [18]. Moreover, through its support for behavior description, the modeling framework also allows the developers to precisely capture various behavioral concerns in requirements engineering, system design, and safety engineering [19].…”

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

“…In [10] and [11], authors discuss analysis of EAST-ADL models, focusing on model checking using SPIN, safety analysis using Hip-Hops and some timing analysis. This work is later completed in [12] and addresses optimizations of architectures through specific analysis combined to multi-domain optimization techniques based on genetic algorithms.…”