D'un formalisme à l'autre : entre TIOSM et SDL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

D'un formalisme à l'autre : entre TIOSM et SDL

Résumé

Dans cet article, nous proposons une méthode pour traduire formellement un système décrit dans le formalisme d'une sous-classe des automates temporisés, appellée TIOSM (Timed Input Output State Machine) dans un modèle écrit en SDL (Specification and description Language). La traduction est illustrée sur un exemple simple. Nous montrons par ailleurs en quoi le modèle est dégradé dans cette traduction en raison d'une représentation du temps différente pour chaque formalisme.
Fichier non déposé

Dates et versions

inria-00100723 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100723 , version 1

Citer

Laurent Kaiser, Françoise Simonot-Lion. D'un formalisme à l'autre : entre TIOSM et SDL. 10th Conference on Real Time and Embedded Systems, Mar 2002, Paris/France, 12 p. ⟨inria-00100723⟩
54 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More