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.
Type de document :
Communication dans un congrès
SIES'2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany. 2015
Liste complète des métadonnées


https://hal.inria.fr/hal-01165686
Contributeur : Wei-Tsun Sun <>
Soumis le : lundi 22 juin 2015 - 10:17:32
Dernière modification le : mardi 13 décembre 2016 - 15:40:17
Document(s) archivé(s) le : mardi 25 avril 2017 - 18:26:19

Fichier

20140927-0819.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Domaine public

Identifiants

  • 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. 2015. <hal-01165686>

Partager

Métriques

Consultations de
la notice

154

Téléchargements du document

93