Zeitschriftenartikel
Early Model-Driven Timing Validation of Embedded Software Systems Developed Using Matlab/Simulink
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2018
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
This paper presents a model-driven workflow for specification of timing constraints in Matlab/Simulink (ML/SL), their extraction and synthesis of a timing analysis model and its subsequent validation in a specialized timing validation tool (e.g. SymTA/S). We present a light-weight interfacing tool framework, adhering to the proposed workflow, and evaluate it in a real-life automotive engine model example. A main benefit of this work is the feedback at early d design stage, about the performance characteristics (e.g. load, schedulability) of the system.