Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Real-Time Systems Programming

The course is not on the list Without time-table
Code Completion Credits Range Language
AE4B35PSR Z,ZK 6 2P+2C English
Garant předmětu:
Lecturer:
Tutor:
Supervisor:
Department of Control Engineering
Synopsis:

The goal of this subject is to give students basic knowledge in the area of software design for embedded systems with real-time operating systems (RTOS) with emphasis to practical experience. Students will solve several simple tasks to get basic knowledge about RTOS VxWorks and to measure timing parameters of the RTOS and hardware, which are necessary when choosing a platform for a given application. Then a more complicated task (motor control) will be solved, which will fully utilize means of RTOS VxWorks. During lectures, students will become familiar with real-time systems theory, which can be used to formally prove the timing correctness of the applications. Moreover, some software engineering techniques, which help with increasing of quality of safety-critical systems will be discussed.

Requirements:
Syllabus of lectures:

1. Real-Time operating systems, requirements, properties

2. VxWorks OS

3. POSIX API

4. Advanced use of C language, GNU C compiler

5. Coding standards, version control systems, certifications

6. Memory access timing; dynamic memory management

7. Clock driven scheduling

8. Dynamic priority scheduling

9. Static priority scheduling

10. Problems in analysis of real-time systems

11. Shared resource management

12. Shared resource management II.

13. Other real-time operating systems; interrupt subsystem; support for different HW platforms (BSP)

14. Combining real-time tasks with non-real-time tasks

Syllabus of tutorials:

1. Introduction to VxWorks OS and its IDE. Compilation, debugging, event viewer.

2. Task 1: VxWorks API: mutexes, semaphores.

3. Task 2: VxWorks API: message queues timers

4. Task 3: VxWorks API: processes, shared memoy

5. Task 4: Benchmak of OS scheduler latency

6. Task 5: Memory access timing (cache, prefetching, ...)

7. Task 6: Ethernet communication timing

8. Task 7: Mutex blocking timing (priority inheritance,...)

9. Test; assignment of task 8 - motor control

10. Solving of task 8

11. Solving of task 8

12. Solving of task 8

13. Delivery of task 8

14. Assesment

Study Objective:
Study materials:
Note:
Further information:
http://support.dce.felk.cvut.cz/psr/
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2024-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet12820704.html