Scheduling hard sporadic tasks with regular languages and generating functions

AbstractIn this paper, we consider offline validation of hard real-time systems composed of both periodic and sporadic tasks, embedded on centralized multi-processor architectures. To model hard real-time systems, we use untimed finite automata: each accepted word is a valid operational behavior of the periodic component of the system. Then, by associating generating functions with edges of the automaton, we give a modular decisional technique to decide the feasibility of sporadic tasks