A Framework for Compositional Timing Analysis of Embedded Computer Systems

Embedded computer system architectures are distributed, layered and heterogeneous. Development progressesthrough a series of model refinements with varying levels ofdetail in different subsystems. Different requirements modelsand scheduling methods are used for different functions andequipment. Today there is no single schedulability tool that cananalyze all of them. This paper describes an open compositionaltiming analysis framework that allows developers to select a set ofanalysis tools suited for the different kinds of subsystems in theirproduct lines. The framework compositionally applies the toolsso that dependencies between subsystems are taken into accountwhen producing an overall end-to-end timing analysis.