Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications

C. Pinello, L.P. Carloni, A.L. Sangiovanni-Vincentelli
Proceedings Design, Automation and Test in Europe Conference and Exhibition  
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This further complicates the difficult task of deploying the embedded software that implements the control algorithms on the execution platform that is often distributed around the plant (as it is typical, for instance, in automotive applications). We propose a synthesis-based design methodology that relieves the designers
more » ... m the burden of specifying detailed mechanisms for addressing platform faults, while involving them in the definition of the overall fault-tolerance strategy. Thus, they can focus on addressing plant faults within their control algorithms, selecting the best components for the execution platform, and defining an accurate fault model. Our approach is centered on a new model of computation, Fault Tolerant Data Flows (FTDF), that enables the integration of formal validation techniques.
doi:10.1109/date.2004.1269049 dblp:conf/date/PinelloCS04 fatcat:4r2icco6cnagtndmvbj64vjvwm