Analysable hard real-time system |
Thomas Hedemand Nielsen, Jens Christian Schwarzer
|
| Abstract | The concept of hard real-time systems is introduced, and an informal reference model for hard real-time systems is defined. The theory of priority-driven schedulers is presented, and the problem of validating a schedule is addressed. Synchronisation protocols are introduced to control blocking due to resource contention. A commercially available real-time operating system is investigated. Based on scheduling theory a computational model is defined, and implemented upon the particular operating system. A development process for hard real-time systems is proposed. The design phases of the proposed development process are applied to a case study. |
| Keywords | Hard real-time development process, analysable hard real-time systems design, computational model, fixed-priority scheduling, schedulability analysis |
| Type | Master's thesis [Academic thesis] |
| Year | 2001 |
| Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU |
| Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby |
| Series | IMM-EKS-2001-49 |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |