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.
Type de document :
Communication dans un congrès
10th Conference on Real Time and Embedded Systems, Mar 2002, Paris/France, 12 p, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100723
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:50:00
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • 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, 2002. 〈inria-00100723〉

Partager

Métriques

Consultations de la notice

82