Skip to Main content Skip to Navigation
Conference papers

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

Laurent Kaiser 1 Françoise Simonot-Lion 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00100723
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:50:00 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM

Identifiers

  • HAL Id : inria-00100723, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

125