@MASTERSTHESIS\{IMM2001-0773,
    author       = "T. H. Nielsen and J. Schwarzer",
    title        = "Analysable hard real-time system",
    year         = "2001",
    keywords     = "Hard real-time development process, analysable hard real-time systems design, computational model,  fixed-priority scheduling, schedulability analysis",
    school       = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/773-full.html",
    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."
}