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.

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