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.
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.