CENG 383
Real-Time Systems
Specification and verification techniques for real-time systems with many interacting components. formal design of real-time systems using (a) programming languages with unambiguous semantics of time – related behavior and (b) scheduling algorithms. Real-time operating systems, concepts of programming languages for real-time systems. Synchronous programming languages for reactive systems and their mathematical background. Software development for real-time systems.
| Topics |
| Fundamentals of Real-Time Systems |
|
Review of Computer Architectures in terms of the Realization of Real-Time Systems
|
| Real-Time Definition and Design Techniques |
|
Formal Methods: Timed Automata and Petri-Nets, Model Checking
|
| Real-Time Programming Languages |
| Synchronous Programming Languages |
|
Real-Time Kernels – I: Theoretical Findings, Scheduling Algoritms
|
|
Laboratory Work – I (Advanced C and Assembly Programming)
|
| Real-Time Kernels – II: POSIX |
| Fault-Tolerance |
|
HW/SW Integration, Performance Analysis and Optimization
|
|
Laboratory Work – II (Real-Time Kernel Design: Bootstrap, process management)
|
|
Laboratory Work – III (Real-Time Kernel Design: Time Management, Interrupt Mechanisms)
|
|
Laboratory Work – III(Real-Time Kernel Design: Coding Real-Time Scheduling Algorithms)
|
