Modular Distribution and Application to Discrete Controller Synthesis

Gwenaël Delaval 1
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper shows the application of the automatic distribution of synchronous reactive programs to the specific problem of discrete controller synthesis of complex reactive systems. Discrete controller synthesis is a formal method used to ensure properties on a flexible system which does not a priori verify them. However, this method is efficient only on Boolean programs. More complex embedded systems, comprising complex data types and structures, cannot be addressed without abstraction means. We show how such abstractions can be obtained automatically using a type-directed projection operation. This operation allows then the safe recombination of the result of the synthesis with the original abstracted system, preserving the ensured properties.
Type de document :
Communication dans un congrès
Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P), Mar 2008, Budapest, Hungary. 238 (1), pp.3-19, 2009, <10.1016/j.entcs.2008.01.003>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01011741
Contributeur : Gwenaël Delaval <>
Soumis le : mardi 24 juin 2014 - 14:53:17
Dernière modification le : mercredi 14 décembre 2016 - 01:08:44
Document(s) archivé(s) le : mercredi 24 septembre 2014 - 11:47:44

Fichier

slap08.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Gwenaël Delaval. Modular Distribution and Application to Discrete Controller Synthesis. Third International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P), Mar 2008, Budapest, Hungary. 238 (1), pp.3-19, 2009, <10.1016/j.entcs.2008.01.003>. <hal-01011741>

Partager

Métriques

Consultations de
la notice

206

Téléchargements du document

121