A Review of Priority Assignment in Real-Time Systems

It is over 40 years since the first seminal work on priority assignment for real-time systems using fixed priority scheduling. Since then, huge progress has been made in the field of real-time scheduling with more complex models and schedulability analysis techniques developed to better represent and analyse real systems. This tutorial style review provides an in-depth assessment of priority assignment techniques for hard real-time systems scheduled using fixed priorities. It examines the role and importance of priority in fixed priority scheduling in all of its guises, including: preemptive and non-pre-emptive scheduling; covering single- and multi-processor systems, and networks. A categorisation of optimal priority assignment techniques is given, along with the conditions on their applicability. We examine the extension of these techniques via sensitivity analysis to form robust priority assignment policies that can be used even when there is only partial information available about the system. The review covers priority assignment in a wide variety of settings including: mixed-criticality systems, systems with deferred pre-emption, and probabilistic real-time systems with worstcase execution times described by random variables. It concludes with a discussion of open problems in the area of priority assignment

Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Compositional Scheduling Analysis Using Standard Event Models

Embedded real-time systems must meet a variety of timing requirements, such as deadlines and limited load or bandwidth. These properties depend heavily on interactions between tasks and on the scheduling of tasks and communications. Unfortunately, the current practice of specialization and re-use results in increasingly heterogeneous systems, which specifically complicates the scheduling analysis problem. Todays best practice of timed simulation is increasingly unreliable, mainly because the corner cases are extremely difficult to find and debug. As an alternative, a variety of systematic and formal approaches to scheduling analysis have been proposed. Most of them, however, are either limited to sub-problems, or use unwieldy and complex models that distract designers in practice. This thesis presents a novel, structured analysis procedure that a) can cope with the increasing complexity and heterogeneity of embedded systems, b) provides the modularity and flexibility that the established, re-use driven system integration style requires, and c) facilitates system integration using a comprehensible analytical model. The approach uses intuitive and standardized event models to represent the interfaces between different components and their scheduling. The clear interface structure allows -for the first time- the modular composition of heterogeneous sub-system analysis techniques. This provides designers with the flexibility to use their preferred scheduling and analysis techniques locally without compromising global scheduling analysis. This new analysis procedure has been implemented in the SymTA/S tool. As it can be efficiently applied in practice, it provides a serious and promising complement to simulation.Eingebettete Echtzeitsysteme müssen eine Vielzahl von Zeit- und Performanzanforderungen erfüllen, z.B. maximale Reaktionszeiten oder vorgegebene Kommunikationsbandbreiten. Die Echtzeiteigenschaften hängen stark vom Zusammenspiel der Einzelkomponenten sowie deren Scheduling ab. Unglücklicherweise führt gerade die in der Praxis etablierte Wiederverwendung von spezialisierten Komponenten zu einer Heterogenität, die die Schedulinganalyse zusätzlich erschwert. Die heute eingesetzten Simulationsverfahren sind zusehends unzuverlässig, da die kritischen Randfälle in der Praxis kaum mehr vollständig bestimmt werden können. Als Alternative wurde eine Vielzahl systematischer und formaler Ansätze vorgeschlagen. Meist sind diese jedoch entweder auf spezielle Teilprobleme beschränkt oder für den Allgemeinfall zu unhandlich und finden daher nur eine geringe Akzeptanz in der industriellen Praxis. In dieser Arbeit wird ein neues Verfahren zur Schedulinganalyse vorgestellt, das a) die steigende Komplexität und Heterogenität angemessen erfasst, b) über die Modularität und Flexibilität verfügt, die mit Wiederverwendung und Integration erforderlich ist, und c) die Integration durch ein nachvollziehbares Analysemodell unterstützt. Das Analysemodell erfasst die komplexen Abhängigkeiten zwischen Komponenten mit Hilfe von intuitiven, standardisierten Ereignismodellen. Die klare Strukturierung dieser Schnittstellen erlaubt erstmals die modulare Komposition von Analysen heterogener Systemteile. Dies gibt Entwicklern die nötige Flexibilität, ihre bevorzugten lokalen Entwurfsmethoden zu benutzen, ohne auf die globale Schedulinganalyse verzichten zu müssen. Das Verfahren bildet die Grundlage für das SymTA/S Analysewerkzeug und ist in der Praxis sehr effizient einsetzbar, womit sich eine ernstzunehmende und viel versprechende Ergänzung zur heute etablierten Performanz-Simulation eröffnet