Skip to Main content Skip to Navigation
Conference papers

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems

Abstract : We demonstrate the feasibility of a complete workflow to synthesize and implement correct-by-construction fault tolerant distributed embedded systems consisting of real-time periodic tasks. Correct-by-construction is provided by the use of discrete controller synthesis (DCS), a formal method thanks to which we are able to guarantee that the synthesized controlled system guarantees the functionality of its tasks even in the presence of processor failures. For this step, our workflow uses the Heptagon domain specific language and the Sigali DCS tool. The correct implementation of the resulting distributed system is a challenge, all the more since the controller itself must be tolerant to the processor failures. We achieve this step thanks to the libDGALS real-time library (1) to generate the glue code that will migrate the tasks upon processor failures, maintaining their internal state through migration, and (2) to make the synthesized controller itself fault-tolerant.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Wei-Tsun Sun Connect in order to contact the contributor
Submitted on : Monday, June 22, 2015 - 10:17:32 AM
Last modification on : Thursday, October 21, 2021 - 3:53:02 AM
Long-term archiving on: : Tuesday, April 25, 2017 - 6:26:19 PM


Files produced by the author(s)


Public Domain


  • HAL Id : hal-01165686, version 1



Wei-Tsun Sun, Alain Girault, Gwenaël Delaval. A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems. SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany. ⟨hal-01165686⟩



Record views


Files downloads