Logo des Repositoriums
 
Konferenzbeitrag

Play-out for hierarchical component architectures

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2013

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

One approach to cope with the growing complexity of today's embedded systems software, especially in the automotive domain, is component-based software development. For systems based on hierarchical component architectures like AUTOSAR and developed in conformance with process models such as Automotive SPICE, requirements should be specified for the whole system under development and partitioned subsequently onto the particular components across several hierarchy layers. In previous work, we developed a formal requirements engineering (RE) approach based on a recent Live Sequence Chart (LSC) variant, so-called Modal Sequence Diagrams (MSDs). This scenario-based RE approach allows to validate the requirements by means of simulation (i.e., the play-out algorithm originally conceived for LSCs) and to formally verify the requirements for consistency. However, these scenarios are specified on a plain structural basis that does not reflect the typical structure of component architectures, which are arranged in a hierarchical way and encompass ports, interfaces, and directed connectors. In order to tackle this problem, we introduce in this paper a modeling and simulation approach for MSDs based on hierarchical component architectures. By binding these two aspects together, we foster an integrated and iterative RE and component architecture design.

Beschreibung

Holtmann, Jörg; Meyer, Matthias (2013): Play-out for hierarchical component architectures. INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-614-5. pp. 2458-2472. Regular Research Papers. Koblenz. 16.-20. September 2013

Schlagwörter

Zitierform

DOI

Tags