Timing Analysis and Conditional Scheduling
in a Real-Time System Design Environment

Zebo Peng and Anders Törne

Dept. of Computer and Information Science, Linköping University, Sweden


This paper presents an approach to carry out timing analysis and scheduling in a real-time system design environment for flexible manufacturing systems. It is built based on a formal model for specifying real-time systems using extended timed Petri nets. The designer uses the model to specify a design at a given level. The functional characteristics as well as timing properties of the design can then be analyzed with design evaluation procedures. To facilitate timing analysis, a conditional scheduling strategy has been developed to provide a pre-run-time schedule. The strategy is based on a list scheduling method with several priority schemes. This paper describes the design environment, the timing analysis procedure, and the basic strategy for scheduling.

Download the paper (77605 bytes).

Anders Törne <andto@ida.liu.se>