Predictability [Session 2]

This session addresses predictability in the behavior of embedded systems in several ways. The first paper proposes a SystemC based modeling and simulation framework for time-triggered safety-critical embedded systems. The second one presents a methodology to model analog faults on the behavioral level to evaluate safety goal violations in automotive systems. Finally, the third paper presents a SystemC-based modelling and analysis infrastructure for high-level, static and simulation-based analysis for timing predictability that enables design space exploration.