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, 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.
Type de document :
Communication dans un congrès
Avgeriou, Paris and Zdun, Uwe. European Conference on Software Architecture, Aug 2014, Vienna, Austria. Springer International Publishing, 8627, pp.146-153, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-09970-5_14>
Liste complète des métadonnées

https://hal.inria.fr/hal-01059504
Contributeur : Team Aoste <>
Soumis le : lundi 1 septembre 2014 - 10:54:54
Dernière modification le : lundi 5 octobre 2015 - 16:56:57

Identifiants

Collections

Citation

Thorsten Koch, Jörg Holtmann, Julien Deantoni. Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. Avgeriou, Paris and Zdun, Uwe. European Conference on Software Architecture, Aug 2014, Vienna, Austria. Springer International Publishing, 8627, pp.146-153, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-09970-5_14>. <hal-01059504>

Partager

Métriques

Consultations de la notice

238