Analysis of real-time embedded systems for co-design

Analysis of the system-level specifications of an embedded systems simplifies finding the best implementation. The specification language TL (`Task Level´) can specify the functional and temporal behaviour of the system. To change a concurrent description into an sequential specification is easy. A graphical toolbox based on coloured Petri nets generates performance information and resource utilization rates. This information is used to rearrange the specification to get a more efficient implementation. The system-level specification is translated into a hardware and software specification. A data-link protocol system-level specification illustrates the methodology