A.1. Homepage: https://tolgaayav.gitlab.io/ceng523
A.2. Lecture: Wednesday 9:45 - 12:00
A.3. Credits: 3+0
A.4. Instructor: Prof. Dr. Tolga AYAV. (Telephone: 750 7878)
A.5. Lab Assistants:
A.5. Teams code: 9weo6u3

B.1. Objective of the Course:

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 .

B.2. Prerequisites:

No prerequisite.

C.1. Course Contents:

Real-Time operating systems, POSIX, scheduling algorithms, formal methods for real-time systems such as timed automata and model checking, advanced C and assembly programming issues, kernel programming.

C.2. Course Schedule:

25/02: Introduction
04/03: Real-Time Systems Overview
11/03: RTOS - I
18/03: No Lecture
25/03: RTOS - II
01/04: Formal Methods - I
08/04: Midterm Exam
15/04: Formal Methods - II
22/04: Model Checking
29/04: Fault-Tolerance
06/05: Term Project - individual meetings
13/05: Term Project - individual meetings
20/05: Presentations - I
03/06: Presentations - II

Midterm: April 8^th, 2026

D. Lecture Notes:

Introduction to Real-Time Systems

Lecture2: RTOS Part-I

Lecture3: RTOS Part-II

E. Grading:

Written Midterm Exam: %35
Term Project: % 65

F. Books:

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.

G. Assignments:

H. Project:

Term Project (2024)