Real-Time Operating Systems
|Hour/sem||Lectures||Sem. Exercises||Lab. exercises||Comp. exercises||Other|
|Guarantee:||Strnadel Josef, Ing., Ph.D., DCSY|
|Lecturer:||Strnadel Josef, Ing., Ph.D., DCSY|
|Instructor:||Strnadel Josef, Ing., Ph.D., DCSY|
|Faculty:||Faculty of Information Technology BUT|
|Department:||Department of Computer Systems FIT BUT|
| || ||The primary goal of this course is to meet the participant with basics of real-time systems and to give the participant knowledge and skills necessary to design and develop embedded applications by means of real-time operating systems.|
| || ||A study of concepts, techniques, and standards in embedded operating systems including real time embedded operating systems. Topics include: Introduction. Basic Real-Time Concepts. Real-Time Specification, Verification and Design. Real-Time Kernels. Intertask Communication and Synchronization. Real-Time Memory Management. System Performance Analysis and Optimization. Queuing Models. Reliability Testing and Fault Tolerance. Multiprocessing Systems. Hardware/Software Integration. Case Studies.|
|Knowledge and skills required for the course:|
| || ||Knowledge of operating system (OS) basics: overview of OS architectures, OS classification, UNIX core knowledge, OS service call principles, shell. Context switching, multitasking. File systems, processes, virtual memory. C-programming knowledge.|
|Subject specific learning outcomes and competences:|
| || ||Theoretical background (specification/verification) and practical knowledge of real-time operating systems. After completing the course students will appreciate the use of multitasking techniques in real-time systems, understand the fundamental concepts of real-time operating systems, understand the features and structures of practical implementations, appreciate how application areas (e.g. safety-critical, desktop, etc.) impact on real-time operating system facilities.|
|Generic learning outcomes and competences:|
| || ||Theoretical and practical orientation in the area of design cycle of real-time applications, competence to design applications based on real-time operating systems.|
|Syllabus of lectures:|
- Introduction to concepts, techniques, and standards related to desing of real-time (RT) systems. Motivation.
- Introduction to specification and verification area.
- Specification of RT systems.
- Verification of RT systems.
- RT kernel architectures.
- Performance analysis of particular types of RT kernels.
- POSIX. Overview of POSIX 1003.1b interface for RT operating systems (RTOS).
- Case Studies: OSEK/VDX, uC/OS-II.
- Case Studies: QNX, Windows CE.
- Introduction to RT task scheduling.
- Scheduling of independent, static-priority RT tasks running in 1-CPU environment.
- Scheduling of dependent, dynamic-priority RT tasks running in 1-CPU environment.
- Advanced scheduling approaches: scheduling in n-CPU/distributed/network environment, scheduling for fault-tolerance, scheduling for architecture overload.
|Syllabus of computer exercises:|
- Introduction to UPPAAL tool.
- Specification and verification of a simple RT system by means of UPPAAL tool.
- Implementation of a simple RT application by means of interfaces included in QNX/Neutrino, uC/OS-II and POSIX 1003.1b.
- Introduction to Timestool and Cheddar tools for design of RT applications based on RTOS.
|Syllabus - others, projects and individual work of students:|
- Individual or group project.
Abbott, D.: Linux for Embedded and Real-Time Applications. Newnes, 2002, 256 p., ISBN 0-75067-546-2.
Cheng, A. M. K.: Real-Time Systems: Scheduling, Analysis, and Verification. Wiley, 2002, 552 p., ISBN 0-471-18406-3.
Cottet, F., Delacroix, J., Kaiser, C., Mammeri, Z.: Scheduling in Real-Time Systems. John Wiley & Sons, 2002, 266 s., ISBN 0-470-84766-2.
Krishna, C. M., Shin, K. G.: Real-Time Systems. McGraw-Hill, 1997, 448 p., ISBN 0-07-114243-6.
Laplante, P. A.: Real-Time Systems Design and Analysis. Wiley-IEEE Press, 2004, 528 p., ISBN 0-471-22855-9.
Levi, S. T., Agrawala, A. K.: Real-Time System Design. McGraw-Hill, 1990, 299 p., ISBN 0-07037-491-0.
Li, Q., Yao, C.: Real-Time Concepts for Embedded Systems. CMP Books, 1st Edition, 2003, 294 p., ISBN 1-57820-124-1.
- Joseph, M.: Real-Time Systems Specification, Verification and Analysis. Prentice Hall, 1996, p. 278, ISBN 0-13-455297-0.
| || ||Realization of project, computer-lab exercises outputs, written mid-term test.|
| || ||Written mid-term test, submitted 3 PC-lab reports and project in due dates.|