455-0914/01 – Real-Time Systems (SRČ)
| Gurantor department | Department of Measurement and Control | Credits | 0 |
| Subject guarantor | doc. RNDr. Jindřich Černohorský, CSc. | Subject version guarantor | doc. RNDr. Jindřich Černohorský, CSc. |
| Study level | postgraduate | Requirement | Choice-compulsory |
| Year | | Semester | winter + summer |
| | Study language | Czech |
| Year of introduction | 1991/1992 | Year of cancellation | 2009/2010 |
| Intended for the faculties | FEI | Intended for study types | Doctoral |
Subject aims expressed by acquired skills and competences
The subject presents the class of problems concerning the implementation of real-time systems, namely kritical rt-systems, and factors influencing safety of implemented software
Matering fundamental theoretical principles and procedures of synchronisation parallel or concurrent processes
Teaching methods
Summary
The more advanced principles and theory of implementation real-time software constitute the contents of the subject. Special attention is given to the problems of synchronisation of parallel or concurrent processes making out rt-system and to the factors influencing the safeness of the whole system.
Compulsory literature:
Burns, A., Wellings, A.: Real Time Systems and their Programming Lanquages, Addison-Wesley Publishing Company, 1993,
Gomma H.,: Software Design Methods for Concurrent and Real-time Systems , Addison-Wesley Publishing Company, 1993,
Buttazo, G. : Hard Real Time Computing Systems, Kluwre Academic Publishers, 1997
Recommended literature:
Additional study materials
Way of continuous check of knowledge in the course of semester
Verification of study:
Tutorials
E-learning
Other requirements
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
Lectures:
Real-time systems, definition, problems, particular features, relation to the control systmes
Fault tolerant systems, reliability, errors and faults
Program diversity, N-version programming. Program dynamic redundancy.
Fault tolerance based on recovery blocks and its comparison with Nn-version programming. Dynamical redundancy and exceptions. Measurement and prediction of software reliability. Safety and reliability.
Exceptions , exception handling. Exception handlinng in traditional programming lannquages Exception handling in Modula-2, ADA, Occam -2 a JAVA. Recovery blocks and exceptions
Atomic actions, concurrent processes and relability
Atomic actions in concurrent environment. Atomic actions and backward recovery. Atomic actions and forward recovery. Recovery and concurrent processes in RT programming languages.
Performance analysis of the RT system. Performance models Queues models. Simulation models.Theory of RT systems scheduling. Performance analysis using event sequence analysis.
Process synchronizatiion and communication using shared memory. Mutual exclusion and synchronisation based on testing conditions.Active waiting
Semaphores. Critical sections. Monitors.
Synchronisation and comunication based on message passing
Process addressing. Message structure. Selective waiting. Remote procedure call.
Source management and atomical sections. Asymmetrical addressing.
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.