Real-Time software design issues, real-time operating systems, real-time scheduling algorithms, formal methods in software specification, modeling and verification using timed-automata, software design, programming languages, testing, performance analysis and optimization, documentation, software re-use, fault-tolerance.

Course Objectives

To give the students the latest research issues on the software development, programming, design, test and documentation for real-time systems

Recommended or Required Reading

Phillip Laplante, Real-Time Systems Design and Analysis – An Engineer’s Handbook, IEEE Press, 1993.
S.H.Son, Advances in real-time systems, Englewood Cliffs, N.J.: Prentice Hall, c1995.

Learning Outcomes

1. To have knowledge of real-time systems fundamentals
2. To be able to design real-time systems
3. To know the state-of-the-art of real-time systems
4. To know the state-of-the-art of safety critical and fault-tolerant systems

Grading