Méthode

Livrable M2.1 du Projet IST/AIT Wooddess

Methodology for Developing Real Time Embedded Systems

Passerelles

Rapports "Spécification de la traduction UML vers Signal" :

• Draft du document de traduction ACCORD/UML vers SIGNAL : Passerelle asynchrone GASP (il y manque principalement les annexes décrivant la transformation en OCL).

• Spécification de la version 1 de la traduction UML vers SIGNAL : Passerelle synchrone YATUS (il y manque principalement la formalisation du modèle utilisé dans cette passerelle).

Rapport préliminaire "Spécification de la traduction Signal-SynDEx"

SIGNAL -> SynDEx Translation V1.0

Rapport préliminaire "Evaluation XML/XMI"

Evaluation XML/XMI

Application de Référence et Projet N° 1 "Traitement d'images"

Rapport version 1.0

Prototypage Application de Référence

Application Projet N° 2 "Marine à Cycle Combiné"

Dossier de Conception Préliminaire

DCP

Méthode Matlab/Sumulink/Stateflow
Les modules Matlab, Simulink et Stateflow permettent notamment de modéliser un système asservi et les machines à états en intégrant les aspects évènementiels.
Le document énonce non seulement les règles de décomposition du modèle mais aussi les règles syntaxiques qui la régissent. Au-delà de la méthodologie, ce rapport cherche à apporter une certaine cohésion entre une spécification développée sous Matlab/Simulink/Stateflow et une représentation équivalente sous UML :

Rapport

Dossier de Conception Détaillée

DCD

Discrétisation de la représentation continue

Rapport

Cahier de Validation Interne

CVI

Simulation Scicos/Signal
En s'appuyant sur l'exemple du Ballon-vapeur tiré de l'application Projet n°2, ce rapport présente une procédure de mise en oeuvre du couplage entre le logiciel Scilab-Scicos et un programme en langage C généré à partir d'un programme écrit en langage Signal.
A partir d'une modélisation continue du processus et de son contrôle-commande saisie avec le logiciel Scicos, le document décrit, pour le contrôle-commande :

La transformation de la représentation continue en une représentation discrète

La modélisation dans le langage synchrone Signal du contrôle-commande

La génération du programme C associé au programme Signal et l'encapsulation de ce dernier dans le modèle Scicos

Ainsi, le modèle Scicos final comporte un processus modélisé de façon continue et un contrôle-commande modélisé de façon discrète :

Rapport