Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler

Van Chan Ngo 1 Jean-Pierre Talpin 2 Thierry Gautier 2
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We present a method to construct a validator based on translation validation approach to prove the value-equivalence of variables in the compilation of the Signal compiler. The computation of output signals in a Signal program and their counterparts in the generated C code is represented by a Synchronous Data-flow Value-Graph (Sdvg). Our validator proves that every output signal and its counterpart variable have the same values by transforming the Sdvg graph.
Type de document :
Communication dans un congrès
Susanne Graf; Mahesh Viswanathan. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9039, pp.66-80, 2015, Formal Techniques for Distributed Objects, Components, and Systems. 〈http://discotec2015.inria.fr〉. 〈10.1007/978-3-319-19195-9_5 〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01767328
Contributeur : Hal Ifip <>
Soumis le : lundi 16 avril 2018 - 10:18:48
Dernière modification le : mardi 17 avril 2018 - 11:11:53

Fichier

978-3-319-19195-9_5_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier. Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. Susanne Graf; Mahesh Viswanathan. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9039, pp.66-80, 2015, Formal Techniques for Distributed Objects, Components, and Systems. 〈http://discotec2015.inria.fr〉. 〈10.1007/978-3-319-19195-9_5 〉. 〈hal-01767328〉

Partager

Métriques

Consultations de la notice

79

Téléchargements de fichiers

8