Modeling real-time system performance with respect to scheduling analysis

The development and analysis of embedded real-time system is complex due to its platform and application dependencies. To tackle this complexity, we amended the model-based engineering method SPACE to enable also the modeling, simulation and verification of real-time properties of reactive systems. In this paper, we present a further extension making performance estimations and schedulability analysis of reactive real-time building blocks possible. First, a performance profile for evaluating real-time tasks of a building block is outlined. Second, we present the schedulability analysis of a high level real-time system which is carried out by transforming real-time interface descriptions to timed automata that are composed with automata simulating hardware and scheduling policies.