Off-Line Computation of Real-Time Schedules Using Petri Nets

Authors:
E. Grolleau;A. Choquet-Geniet
Affiliations:
LISI-ENSMA, Teleport 2, 1 avenue Clement Ader, BP 40109, 86961 Futuroscope Chasseneuil Cedex, France;LISI-ENSMA, Teleport 2, 1 avenue Clement Ader, BP 40109, 86961 Futuroscope Chasseneuil Cedex, France
Venue:
Discrete Event Dynamic Systems
Year:
2002

Citing 14
Cited 5

Misconceptions About Real-Time Computing: A Serious Problem for Next-Generation Systems

Computer
Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations

IEEE Transactions on Software Engineering
Some properties of timed nets under the earliest firing rule

Advances in Petri nets 1989
Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor

Real-Time Systems
Dynamic priority ceilings: a concurrency control protocol for real-time systems

Real-Time Systems
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Stack-based scheduling for realtime processes

Real-Time Systems
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms

Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms
Priority Inheritance Protocols: An Approach to Real-Time Synchronization

IEEE Transactions on Computers
A Genetic Algorithm for Scheduling Tasks in a Real-Time Distributed System

EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 2

Minimal schedulability interval for real-time systems of periodic tasks with offsets

Theoretical Computer Science
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

Theoretical Computer Science
A Framework for Distributing Real-Time Functions

FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Tree scheduling versus sequential scheduling

Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Linear transformation of conditional real-time tasks

Proceedings of the 20th International Conference on Real-Time and Network Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a methodology of off-line analysis of real-time systems, composed of periodic, synchronous or asynchronous precedence and resource constrained real-time tasks. As there is no polynomial optimal scheduling technique for such tasks sets, we present an enumerative method based on the construction of the state graph of a Petri net. The time is modeled by the Petri net through the earliest firing rule.