HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:50:00 PM
Last modification on : Friday, February 4, 2022 - 3:31:25 AM

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

52