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

     

Type of course:

Optional

Professors:
                   Javier García Martín (Coordinator) 
                  

 

Year:

4

Credits:

6

Term:

2

Objectives

Previous recommended courses

Contents

  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
     

References

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

   Back  


Updated on October 2, 2006 by Trinidad Riolobo Novalvos