Modélisation de STATECHARTS en SIGNAL pour la conception de systèmes critiques temps-réel

par JEAN-RENE BEAUVAIS

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 1999

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Certains systemes se revelent posseder a la fois des aspects discrets et continus et un choix parmi les deux approches est souvent difficile. Nous proposons d'utiliser statecharts pour les specifications dirigees par les evenements et les aspects sequentiels, et signal pour la specification des systemes continus. La consistance globale de la specification est garantie car la traduction de statecharts en signal donne une semantique non ambigue des statecharts. On se propose ensuite d'utiliser signal comme representation interne et pour les divers traitements symboliques a appliquer au systeme. Cette these decrit une methode de traduction depuis statemate vers le langage equationnel signal. Cette traduction vers signal en tant que representant de la classe des langages synchrones declaratifs : - offre un moyen de melanger des langages synchrones imperatifs et declaratifs simplement en composant des equations (composition de processus signal), - donne une semantique totalement synchrone des statecharts basee sur la semantique de signal - ouvre une connexion directe depuis statecharts vers la boite a outils signal : compilateur, simulateur, outils de verification, - permet l'extraction d'une hierarchie d'horloges a partir d'une specification statecharts, - permet au compilateur, par l'utilisation de cette hierarchie d'horloges, de produire un code efficace / distribue / compact depuis un statecharts.

  • Titre traduit

    Modelisation of statecharts into signal for the design of safety-critical real-time systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 156 P.
  • Annexes : 44 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 1999/18
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • Disponible pour le PEB
  • Cote : D.3-BEA

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1999-BEA
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.