CTU FEE Moodle
Real -Time Systems Programming
B232 - Summer 23/24
This is a grouped Moodle course. It consists of several separate courses that share learning materials, assignments, tests etc. Below you can see information about the individual courses that make up this Moodle course.
Real -Time Systems Programming - B3M35PSR
Main course
| Credits | 6 |
| Semesters | Winter |
| Completion | Assessment + Examination |
| Language of teaching | Czech |
| Extent of teaching | 2P+2C |
Annotation
The goal of this course is to provide students with basic knowledge about software development for real-time systems, for example in control and embedded applications. The focus is on embedded systems equipped with a real-time operating system (RTOS). Lectures will cover real-time systems theory, which can be used to formally verify timing correctness of such systems. Another set of lectures will introduce methods and techniques used for development of safety-critical systems, whose failure may have catastrophic consequences. During labs, students will first solve a few simple tasks to familiarize themselves with basic components of VxWorks RTOS and to benchmark the used OS and hardware (Xilinx Zynq). The obtained metrics represent the typical criteria for assessing the suitability of a given platform for the given application. After the simple tasks, students will solve a complex task of time-critical motion control application which will require full utilization of RTOS features. All the tasks at the labs will be implemented in C (or C++) language.
Study targets
No data.
Course outlines
1. Introduction to real-time systems, requirements, properties, applications
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
Exercises outlines
1. VxWorks IDE basics: creating applications, VxWorks simlator, documentacion, debugging
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
Literature
Buttazzo, Giorgio C, Hard Real-Time Computing Systems, Predictable Scheduling Algorithms and Applications, Springer, 2011
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Requirements
Attendee must be capable of writing basic C programs and understand principles of multithreaded programming. It is an advantage (but not requirements) to finish B0B36APO and B4B35OSY before taking this course.
Real-Time Systems Programming - A4B35PSR
| Credits | 6 |
| Semesters | Winter |
| Completion | Assessment + Examination |
| Language of teaching | Czech |
| Extent of teaching | 2P+2C |
Annotation
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.
Study targets
No data.
Course outlines
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
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
Exercises outlines
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
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
Literature
No data.
Requirements
No data.
Real-time Systems Programming - B4B35PSR
| Credits | 6 |
| Semesters | Winter |
| Completion | Assessment + Examination |
| Language of teaching | Czech |
| Extent of teaching | 2P+2C |
Annotation
The goal of this course is to provide students with basic knowledge about software development for real-time systems, for example in control and embedded applications. The main focus is on embedded systems equipped with a real-time operating system (RTOS). Lectures will cover real-time systems theory, which can be used to formally verify timing correctness such systems. Another set of lectures will introduce methods and techniques used for development of safety-critical systems, whose failure may have catastrophic consequences. During labs, students will first solve a few simple tasks to familiarize them with basic components of VxWorks RTOS and to benchmark the used OS and hardware (Xilinx Zynq). The obtained metrics represent the typical criteria for assessing the suitability of a given platform for the given application. After the simple tasks, students will solve complex task of time-critical motion control application which will require full utilization of RTOS features. All the tasks at the labs will be implemented in C (or C++) language.
Study targets
No data.
Course outlines
1. Introduction to real-time systems, requirements, properties, applications
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
Exercises outlines
1. VxWorks IDE basics: creating applications, VxWorks simlator, documentacion, debugging
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
Literature
Buttazzo, Giorgio C, Hard Real-Time Computing Systems, Predictable Scheduling Algorithms and Applications, Springer, 2011
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Requirements
Attendee must be capable of writing basic C programs and understand principles of multithreaded programming. It is an advantage (but not requirements) to finish B0B36APO and B4B35OSY before taking this course.
Real-time Systems Programming - BE4B35PSR
| Credits | 6 |
| Semesters | Winter |
| Completion | Assessment + Examination |
| Language of teaching | English |
| Extent of teaching | 2P+2C |
Annotation
The goal of this course is to provide students with basic knowledge about software development for real-time systems, for example in control and embedded applications. The main focus is on embedded systems equipped with a real-time operating system (RTOS). Lectures will cover real-time systems theory, which can be used to formally verify timing correctness such systems. Another set of lectures will introduce methods and techniques used for development of safety-critical systems, whose failure may have catastrophic consequences. During labs, students will first solve a few simple tasks to familiarize them with basic components of VxWorks RTOS and to benchmark the used OS and hardware (Xilinx Zynq). The obtained metrics represent the typical criteria for assessing the suitability of a given platform for the given application. After the simple tasks, students will solve complex task of time-critical motion control application which will require full utilization of RTOS features. All the tasks at the labs will be implemented in C (or C++) language.
Study targets
No data.
Course outlines
1. Introduction to real-time systems, requirements, properties, applications
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
Exercises outlines
1. VxWorks IDE basics: creating applications, VxWorks simlator, documentacion, debugging
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
Literature
Buttazzo, Giorgio C, Hard Real-Time Computing Systems, Predictable Scheduling Algorithms and Applications, Springer, 2011
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Requirements
Attendee must be capable of writing basic C programs and understand principles of multithreaded programming. It is an advantage (but not requirements) to finish B0B36APO and B4B35OSY before taking this course.
Real-time Systems Programming - BE3M35PSR
| Credits | 6 |
| Semesters | Winter |
| Completion | Assessment + Examination |
| Language of teaching | English |
| Extent of teaching | 2P+2C |
Annotation
The goal of this course is to provide students with basic knowledge about software development for real-time systems, for example in control and embedded applications. The main focus is on embedded systems equipped with a real-time operating system (RTOS). Lectures will cover real-time systems theory, which can be used to formally verify timing correctness such systems. Another set of lectures will introduce methods and techniques used for development of safety-critical systems, whose failure may have catastrophic consequences. During labs, students will first solve a few simple tasks to familiarize them with basic components of VxWorks RTOS and to benchmark the used OS and hardware (Xilinx Zynq). The obtained metrics represent the typical criteria for assessing the suitability of a given platform for the given application. After the simple tasks, students will solve complex task of time-critical motion control application which will require full utilization of RTOS features. All the tasks at the labs will be implemented in C (or C++) language.
Study targets
No data.
Course outlines
1. Introduction to real-time systems, requirements, properties, applications
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
2. VxWorks operating system (OS)
3. POSIX 1003.1b - portable real-time OS interface
4. Reference model of real-time system
5. Off-line (clock-driven) scheduling
6. Fixed priority scheduling and analysis
7. Dynamic priority scheduling and analysis
8. Shared resource management
9. Combining real-time and non-real-time task, temporal isolation
10. Development of safety critical applications, functional safety standards, safety integriti level (SIL)
11. Techniques for increasing reliability of safety-critical software (redundancy, information coding, decomposition)
12. HAZOP study, software HAZOP, example
13. Multi-core systems and real-time, overview of RTOSes
Exercises outlines
1. VxWorks IDE basics: creating applications, VxWorks simlator, documentacion, debugging
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
2. VxWorks API: Mutexes, semaphores
3. VxWorks API: Real-Time processes and shared memory
4. Blocking on mutex, priority inheritance
5. Cyclic executive, worst-case execution time (WCET) measurement
6. Scheduler latency measurement
7. Ethernet communication latency measurement
8. Semestral work - distributed real-time motor controller (steer-by-wire) + visualisation with an in-application web server
Literature
Buttazzo, Giorgio C, Hard Real-Time Computing Systems, Predictable Scheduling Algorithms and Applications, Springer, 2011
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Burns A. and Wellings A.: Real-Time Systems and Programming Languages (Fourth Edition), Ada 2005, Real-Time Java and C/Real-Time POSIX, Addison Wesley Longmain, 2009
Redmill F., Morris Ch. et al, System Safety: HAZOP and Software HAZOP, Wiley, April 1999
Requirements
Attendee must be capable of writing basic C programs and understand principles of multithreaded programming. It is an advantage (but not requirements) to finish B0B36APO and B4B35OSY before taking this course.
Real-time System Programmming - R35PSR
| Credits | 6 |
| Semesters | Winter |
| Completion | Assessment + Examination |
| Language of teaching | Czech |
| Extent of teaching | 2P+2C |
Annotation
No data.
Study targets
No data.
Course outlines
No data.
Exercises outlines
No data.
Literature
https://wiki.control.fel.cvut.cz/psr/
Requirements
No data.