Combining simulation and formal methods for system-level performance analysis

Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to de-termine the performance of embedded systems by compos-ing formal analytical models of the individual components. In case there exist no formal component models with the required precision, simulation-based approaches are used for system-level performance analysis. The often high run-times of simulation runs lead to the new approach de-scribed in this paper: Analytical methods are combined with simulation-based approaches to speed up simulation. We describe how the simulation models can be coupled with the formal analysis framework, specify the interfaces needed for such a combination and show the applicability of the approach using a case study.