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

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

• Auteur / Autrice : JEAN-RENE BEAUVAIS
• Direction : Paul Le Guernic
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1999
• Etablissement(s) : Rennes 1

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.