Resilience and reactivity

In order to confer an adequate reactivity, it is important to equip the system with effective algorithms (from the point of views of their extent and delays) for early online error detection and reconfiguration algorithms, and to define specific approaches to assess these algorithms, as well as their impact on the overall system resilience.

Architecture

Early error detection for real time applications
Future flight control systems
Robustness of automotive embedded systems

Analysis

Testing and formal verification of behavioral models
Dependability benchmarking
Modeling the dependability of critical systems