Zusammenfassung
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.
Summary
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.
This is a preview of subscription content, log in via an institution to check access.
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
AADL (Architecture Analysis and Design Language), SAE standard, 2011. http://www.aadl.info/aadl/currentsite
ASSERT (Automated proof-based System and Software Engineering for Real-Time systems) project, 2010. http://assert-project.net
ATESST2 (Advancing Traffic Efficiency and Safety through Software Technology) project, 2010. http://www.atesst.org
AUTOSAR – AUTomotive Open System ARchitecture. http://www.autosar.org
Biehl, M., Chen, D., Törngren, M.: Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems. In: ACM SIGPLAN/SIGBED Conf on Languages, Compilers and Tools for Embedded Systems, LCTES 2010 Stockholm, Sweden. April. 2010
CESAR (Cost-efficient methods and processes for safety relevant embedded systems) project, 2011. http://www.cesarproject.eu/
Chen, D., Johansson, R., Lönn, H., Papadopoulos, Y., Sandberg, A., Törner, F., Törngren, M.: Modelling Support for Design of Safety-Critical Automotive Embedded Systems. In: SAFECOMP 2008. LNCS, vol. 5219, pp. 72–85. Springer. 2008
EAST-ADL. EAST-ADL Domain Model Specification. Version M.2.1.9 2011-01-30. http://www.maenad.eu/public/EAST-ADL-Specification. 2011
ISO International Organization for Standardization: ISO/DIS 26262. 2010
MAENAD (Model-based Analysis and Engineering of Novel Architectures for Dependable Electric Vehicles) project, 2011. http://www.maenad.eu
MARTE (Modeling and Analysis of Real-time and Embedded systems), OMG, 2010. http://omgmarte.org
Papadopoulos, Y. and McDermid, J. A.: Hierarchically performed hazard origin and propagation studies. In: SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer. 1999
Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D., Törngren, M., Servat, D., Abele, A., Stappert, F., Lönn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., A. Sandberg: Automatic allocation of safety integrity levels. In: ACM Proceedings of the 1st Workshop on Critical Automotive applications: Robustness and Safety, Pages: 7–10, CARS2010, Valencia, Spain, 27 April 2010
Peikenkamp, T., Cavallo, A., Valacca, L., Böde, E., Pretzer, M., Hahn, E. M.: Towards a Unified Model-Based Safety Assessment. In: SAFECOMP 2006, LNCS, vol. 4166, pp. 275–288. 2006
SAFEDOR (design, operation and regulation for safety) project, 2004. http://safedor.org
Sandberg, A., Chen, D., Lönn, H., Johansson, R., Feng, L., Törngren, M., Torchiaro, S., Tavakoli-Kolagari, R., Abele, A.: Model-based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. In: SAFECOMP 2010. LNCS, vol. 6351, pp. 332–346. Springer. 2010
SETTA (System and Safety Engineering of Time Triggered Architectures) project, 2002. http://www.vmars.tuwien.ac.at/projects/setta
SPEEDS (Speculative and Exploratory Design in Systems Engineering) project, 2009. http://www.speeds.eu.com
SysML (Systems Modeling Language), Object Management Group, OMG, 2011. http://omgsysml.org
TIMMO (Timing Model) project, 2009. http://www.timmo.org
UML (Unified Modeling Language), Object Management Group, OMG, 2011. http://www.uml.org
Author information
Authors and Affiliations
Additional information
* This work is supported by the projects ATESST2 (EU FP7, Grant 224442) and MAENAD (EU FP7, Grant 260057).
Rights and permissions
About this article
Cite this article
Chen, D., Johansson, R., Lönn, H. et al. Integrated safety and architecture modeling for automotive embedded systems*. Elektrotech. Inftech. 128, 196–202 (2011). https://doi.org/10.1007/s00502-011-0007-7
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/s00502-011-0007-7