Beta 1


Title Analysable hard real-time system
Author Nielsen, Thomas Hedemand
Schwarzer, Jens Christian
Supervisor Rischel, Hans (Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2001
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.
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Keywords Hard real-time development process; analysable hard real-time systems design; computational model; fixed-priority scheduling; schedulability analysis
Fulltext
Original PDF imm773.pdf (0.84 MB)
Admin Creation date: 2006-06-22    Update date: 2012-12-20    Source: dtu    ID: 57971    Original MXD