|
Electronic
Systems Design Seminar
|
|
Design of Safety-Critical Applications, a Synthesis Approach
|
A design flow is
presented to address feedback control problems with fault-tolerant
requirements (e.g. automotive safety-critical applications). The flow lets the designer
specify independently:
The three aspects of the design are represented using respectively
Based on these
three specifications, an automatic synthesis tool introduces redundancy
in the algorithms and schedules the FTDF actors on the distributed
architecture, so that the fault behavior is met. In doing so, the
scheduling tool aims at minimizing latency (the critical path from
sensors to actuators). Finally some verification tools analyze the
solution to extract timing and to verify replica determinism and fault
behavior.
I will present the entire flow and illustrate some experiments using the tool on a drive-by-wire example from BMW and on a steer-by-wire example from General Motors.