Last updated
The requirements commonly imposed to real-time systems are of three types:
Functional;
Temporal;
Dependability.
Sampling of system variables (real-time entities), both analog and discrete.
The Real-Time computer operates on local images (internal variables) that represent the physical entities.
Each image of a real-time entity has a limited time validity, due to the temporal dynamics of the physical process.
The set of images of the real-time entities forms a Real-Time Database.
The real-time database must be updated to keep consistency between the physical world and its the internal representation.
Direct access to sensors and actuators.
System status information, logs, support to correct system operation, warnings, ...
Illustration of a RTDB for Multi-Robot Systems
Usually arise from the physical dynamics of the process to be managed or controlled.
Impose restrictions:
Delays the observation of the system state;
Delays computing the new control values (acting);
Variations of previous delays (jitter);
These must be followed in all instances (including the worst case) and not only on average.
Time before the first release/activation (job) of a task.
Time between successive jobs of a task.
Can be a Minimum Inter-Arrival time (MIT) for sporadic tasks.
Time instant of the ith job of a task.
ri = ∅ + k * Ti for periodic tasks.
Time instant in which the ith job of a task terminates.
Time necessary to the processor for executing the task instance without interruption.
Time instant by which the ith execution of a task must complete.
Time elapsed between the release of the ith job of a task and its completion
Ri = fi − ri
Maximum time a task can be delayed on its activation to complete within its deadline.
Li = di - ri - Ci
Temporal constraint in which the result retains some utility to the application, even after a temporal limit D, although affected by a degradation of quality of service.
Temporal constraint in which the result loses any usefulness to the application after a temporal limit D.
Temporal restriction that, when not met, can lead to a catastrophic failure.
The system only has firm or soft real-time constraints (e.g., simulators, multimedia systems).
The system has at least one hard real-time constraint. These are the so-called safety-critical systems (e.g. airplane control, missile control, nuclear plants control, control of dangerous industrial processes).
The system is not subject to real-time constraints.
Real-time systems are typically used in critical applications, in which failures may endanger human lives or result in high economic impact/losses.
This results in a requirement of High Reliability:
Hard real-time systems have typically ultra-high reliability requirements (< 10^−9 failures/hour ).
Cannot be verified experimentally!
Validation requires solid analytic support (among other aspects).
Important aspect to consider in safety-critical systems:
Architecture composed of autonomous subsystems, whose properties can be checked independently of the others ( composability ).
