CENG 523

Advanced Topics of Real Time Systems

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

Topics
Introduction to Real-Time Systems
Basics of Developing Software for Real-Time Systems
Real-Time Operating Systems I
Real-Time Operating Systems II
Software Requirements Engineering
Model Checking Issues
Software Design
Summary and Examination
Programming Languages
Testing
Performance Analysis and Optimization
Safety-Critical Systems and Fault-Tolerance
Documentation, Software Re-Use and Continuous Improvement
Term Project Presentations and Discussions

Grading

Written Midterm Exam: 20%
Written Final Exam: 30%
Assignments: 10%
Term Project: 40%