Early Model-Driven Timing Validation of Embedded Software Systems Developed Using Matlab/Simulink

Abstract

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.