A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

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

(1) , (1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
20140927-0819.pdf (1.3 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01165686 , version 1 (22-06-2015)

Licence

Public Domain

Identifiers

  • HAL Id : hal-01165686 , version 1

Cite

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⟩
159 View
170 Download

Share

Gmail Facebook Twitter LinkedIn More