Untitled Document

Results by topics

Méthodologie :

UML et languages synchrones,

SIB: Diagramme de séquence synchrone dans UML.

Modélisation et sémantique:

SyncCharts (Synchronous Charts) introduction et applications.

Grafcet et les formalismes synchrones,

SENS (Synchronous Elementary Net Systems) définition et analyse.

Implémentation:

Machine d'exécution pour langages synchrones,

Génération automatique de code depuis Esterel vers le microcontrôleur RTX2000,

Un exemple de machine d'exécution :le téléscope coudé de l'observatoire de Nice.

Validation et simulation:

Architectures numériques validation et simulation,

Validation de la cohérence entre modèles dynamiques d'UML,

Sûreté de fonctionnement et langages synchrones.

Concéption de contrôleurs distribués:

Réseaux locaux temps-réel:

F.I.P (Factory Instrumentation Protocol)

C.A.N (Controller Area Network)

Outils pour le développement de systèmes réactifs:

SyncCharts le compagnon graphique d'Esterel,(Editeur, Simulateur ),

S-Grafcet (Editeur, Compilateur, Simulateur),

Plateforme Multi-formalismes synchrones (Esterel, Lustre, Grafcet, Objets synchrones),

R-PORTS (Prototypage rapide d'applications distribuées sur CAN).

SEP (Plateforme de conception et simulation d'architecture)