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
ABSTRACT
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>