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 metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01165686
Contributor : Wei-Tsun Sun <>
Submitted on : Monday, June 22, 2015 - 10:17:32 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Long-term archiving on : Tuesday, April 25, 2017 - 6:26:19 PM

File

20140927-0819.pdf
Files produced by the author(s)

Licence


Public Domain

Identifiers

  • HAL Id : hal-01165686, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

279

Files downloads

205