Realtime safetycritical applications

1
Real-time safety-critical applications

• Fault-tolerance can be the result of automatic
  synthesis
• Restricting MOC, Fault Model
• Synthesis of fault tolerant distributed schedules
  with graceful degradation and (sensors/actuators)
  failure
• DGLS01. No direct support for graceful
  degradation and sensor failure nor membership
• synthesis tool and checker

DGLS01 Dima, C. Girault, A. Lavarenne, C.
Sorel, Y.  Off-line real-time fault-tolerant
scheduling. Proc. Ninth Euromicro Workshop on
Parallel and Distributed Processing