Schedulability Analysis of Heterogeneous Systems for Performance Message Sequence Chart

Telecommunication systems are often specified in the standardized languages SDL and MSC. These languages allow only the specification of pure functional aspects. To remedy this problem we have combined the language MSC and performance aspects in Performance MSC (PMSC). From a PMSC specification a task model can be derived that includes beside computation times, periods and deadlines of tasks, also absolute start times of tasks and dependencies between tasks. This allows us to apply an extended schedulability analysis of asynchronous tasks on heterogeneous target architectures. We present the analysis technique and demonstrate with a small example, how the algorithm can be used for the real-time analysis of a cordless telephone. 1 Introduction In the telecommunication area the specification languages SDL (Specification and Description Language, [9]) and MSC (Message Sequence Chart, [10]) are widely used. The main application of the languages is the development, formal specification, a..