Title :
A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance
Author :
Tavares, Eduardo ; Maciel, Paulo ; Sousa, Erica ; Nogueira, Bruno ; Amorim, Leonardo ; Lira, Victor
Author_Institution :
Center for Inf., Fed. Univ. of Pernambuco (CIn-UFPE), Recife, Brazil
Abstract :
The scientific community has devoted attention to virtualization in hard real-time systems, motivating the development of many hierarchical scheduling techniques for dealing with stringent timing constraints for such systems. Most techniques are based on runtime scheduling methods and they provide important results concerning schedulability analysis. However, there are situations in which runtime methods may fail in finding a feasible schedule, and intertask relations as well as overheads are neglected by several approaches. This paper proposes a hierarchical pre-runtime scheduling for hard real-time systems taking into account intertask relations and overheads. A formal model based on time Petri net (TPN) is adopted to provide a basis for precise schedule generation.
Keywords :
Petri nets; formal specification; formal verification; real-time systems; scheduling; software fault tolerance; virtualisation; formal model; hard real-time system; hierarchical preruntime scheduling; intertask relation; property analysis; property verification; runtime scheduling method; schedulability analysis; schedule generation; software fault-tolerance; stringent timing constraint; time Petri net; virtualization; Conferences; Cybernetics; Decision support systems; Formal Models; Hard Real-Time Systems; Hierarchical Scheduling; Petri Nets;
Conference_Titel :
Systems, Man, and Cybernetics (SMC), 2012 IEEE International Conference on
Conference_Location :
Seoul
Print_ISBN :
978-1-4673-1713-9
Electronic_ISBN :
978-1-4673-1712-2
DOI :
10.1109/ICSMC.2012.6377896