Real-time systems
Graduate in Computer Engineering
Academic year 2013/2014


Type of course:


                   Javier García Martín (Coordinator) 









Previous recommended courses


  1. Introduction to real-time systems
    1. Embedded and real-time systems (RTS)
    2. RTS characteristics
    3. Critical RTS
    4. Development and execution environments
    5. Introduction to the Ada language
    6. Concurrent programming in Ada
  2. Real-time programming facilities
    1. Time representation and data types
    2. Delays, Time-Outs
    3. Periodic processes
    4. Introduction to process priorities
    5. Aperiodic processes and sporadic servers
  3. Fault tolerance
    1. Basic concepts
    2. Error recovery methods
    3. Exceptions to support fault tolerance
    4. Fault tolerance with time restrictions
  4. RTS scheduling
    1. Introduction
    2. Cyclic executive
    3. Rate monotonic scheduling (RMS)
    4. Resource access protocols
    5. Response time analysis
    6. Other scheduling methods: DMS, EDF
  5. Real-time systems modelling
    1. Description framework for real-time systems
    2. Representation of real-time systems situations
    3. A tool to automate schedulability analysis
  6. 6. Embedded and real-time system design methodologies
    1. Introduction. RTS design characteristics
    2. RTS design methodologies
    3. A case of study
  7. High-integrity systems
    1. Introduction to high-integrity systems
    2. Security standards
    3. Verification techniques
    4. The ADA language in high-integrity systems
    5. Ravenscar profile


Basic references

  1. "Real-Time Systems and their programming languages", 4rd Edition. BURNS AND WELLINGS. Addison-Wesley, 2009
  2. "Concurrency in Ada", 2nd Edition. ALAN BURNS AND ANDY WELLINGS. Cambridge University Press, 1998.

Other references

  1. "Ada95 Reference Manual". S. TUCKER TAFT, ROBERT A. DUFF. Lectures Notes in Computer Science. Springer, 1997

  2. "Real-Time Systems" Jane W.S. Liu. Prentice Hall, 2000

  3. "A Practitioners Handbook for Real-Time Analysis: Guide to rate monotonic analysis for real-time systems". M.H. KLEIN, T. RALYA, B. POLLAK, R. OBENZA and M. GONZALEZ. KAP, 1993

  4. "Real-Time Systems". C.M. KRISHNA, KANG G. SHIN. McGrawHill, 1997

  5. "Programming in Ada95", 2ª Edición. JOHN BARNES. Addison-Wesley, 1998


Updated on October 2, 2006 by Trinidad Riolobo Novalvos