455-0914/01 – Real-Time Systems (SRČ)

Gurantor departmentDepartment of Measurement and ControlCredits0
Subject guarantordoc. RNDr. Jindřich Černohorský, CSc.Subject version guarantordoc. RNDr. Jindřich Černohorský, CSc.
Study levelpostgraduateRequirementChoice-compulsory
YearSemesterwinter + summer
Study languageCzech
Year of introduction1991/1992Year of cancellation2009/2010
Intended for the facultiesFEIIntended for study typesDoctoral
Instruction secured by
LoginNameTuitorTeacher giving lectures
C1E65 doc. RNDr. Jindřich Černohorský, CSc.
SRO30 prof. Ing. Vilém Srovnal, CSc.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 2+0
Combined Credit and Examination 2+0

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:

Way of continuous check of knowledge in the course of semester

Verification of study: Tutorials

E-learning

Další požadavky na studenta

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

Full-time form (validity from: 1960/1961 Summer semester, validity until: 2012/2013 Summer semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
Exercises evaluation and Examination Credit and Examination 100 (145) 51
        Examination Examination 100  0
        Exercises evaluation Credit 45  0
Mandatory attendence parzicipation:

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.FormStudy language Tut. centreYearWSType of duty
2009/2010 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2009/2010 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics K Czech Ostrava Choice-compulsory study plan
2008/2009 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2008/2009 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics K Czech Ostrava Choice-compulsory study plan
2007/2008 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2006/2007 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2005/2006 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2004/2005 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2003/2004 (P2645) Electrical Engineering, Communication and Computer systems (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2002/2003 (P2612) Electrical Engineering and Computer Science (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan
2001/2002 (P2612) Electrical Engineering and Computer Science (2612V045) Technical Cybernetics P Czech Ostrava Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner