Algebraic Framework for Synchronous Language Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Algebraic Framework for Synchronous Language Semantics

Résumé

In this article, we study several relevant algebraic frameworks to define synchronous language semantics. Synchronous languages are quite dedicated to design critical embedded applications. Thus, verification and compilation is challenging and should rely on mathematical semantics. We study multi-valued algebras as foundation for semantics definition and we show that a 4-valued algebra with a bilattice structure is well suited to our concern. With this approach we can define semantics offering both the generation of models where verification techniques apply, and separated compilation means.
Cet article étudie différents cadres algébriques adéquats pour définir les sémantiques des languages synchrones. Ces languages sont principalement dédiés à la conception de systèmes crtiques embarqués. Leur vérification et leur compilation sont des challenges importants et doivent s'appuyer sur des sémantiques bien fondées mathématiquement. Dans cet article, nous étudions les algèbres multi valuées et nous montrons qu'une algèbre particulière, 4-valuée avec une structure de bilattice répond à notre problème. Cette approche nous permet de définir une sémantique permettant l'application des techniques de vérification formelle et offrant la possibilité d'une compilation séparée.
Fichier principal
Vignette du fichier
TASE_Draft.pdf (142.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00841559 , version 1 (05-07-2013)

Identifiants

  • HAL Id : hal-00841559 , version 1

Citer

Daniel Gaffé, Annie Ressouche. Algebraic Framework for Synchronous Language Semantics. Theoritical Aspects of Software Engineering, Hai Wang and Richard Banach, Jul 2013, Birmingham, United Kingdom. pp.51-58. ⟨hal-00841559⟩
162 Consultations
315 Téléchargements

Partager

Gmail Facebook X LinkedIn More