Skip to Main content Skip to Navigation
Conference papers

Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications

Thorsten Koch 1 Jörg Holtmann 1 Julien Deantoni 2, 3
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Real-time software-intensive embedded systems complexity, as in the automotive domain, requires rigorous Requirements Engineering (RE) approaches. Scenario-based RE formalisms like Modal Sequence Diagrams (MSDs) enable an intuitive specification and the simulative validation of functional requirements. However, the dependencies between events occurring in different MSD scenarios are implicit so that it is difficult to find causes of requirements defects, if any. The automotive architecture description language east-adl addresses this problem by relying on event chains, which make dependencies between events explicit. However, east-adl event chains have a low abstraction level, and their relationship to functional requirements has seldom been investigated. Based on the east-adl functional architecture, we propose to use its central notion of event to conciliate both approaches. We conceived an automatic transformation from the high abstraction level requirements specified in MSDs to the low abstraction level event chains.
Document type :
Conference papers
Complete list of metadata
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Monday, September 1, 2014 - 10:54:54 AM
Last modification on : Friday, January 21, 2022 - 3:15:53 AM




Thorsten Koch, Jörg Holtmann, Julien Deantoni. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. European Conference on Software Architecture, Aug 2014, Vienna, Austria. pp.146-153, ⟨10.1007/978-3-319-09970-5_14⟩. ⟨hal-01059504⟩



Les métriques sont temporairement indisponibles