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
Applicability of real-time schedulability analysis on a software radio protocol
Proceedings of the 2012 ACM conference on High integrity language technology
| Hi-index | 0.00 |
In order to take semantical aspects into account for the scheduling problem and obtain scheduling results for a wide class of systems, we extend the Petri net scheduling approach for real-time systems. Our study focuses on tasks with conditional statements. Classical approaches consider only the worst case execution time that occurs in the different branches of conditional statements and don’t take the semantic of the tasks into account. We show that this pessimistic model can lead to wrong conclusions for scheduling. We extend the task model with conditional statements, and the notion of schedule is replaced by the notion of scheduling tree. We propose then a model approach using Petri nets in order to explicitly take conditional instructions and their semantics into account.