Différences

Ci-dessous, les différences entre deux révisions de la page.

--- recherche:projets:syncomp:meetings:meeting130415 [2015/04/13 10:38] – [Gestion des signaux valués] tigli
+++ recherche:projets:syncomp:meetings:meeting130415 [2015/04/13 10:49] (Version actuelle) – [Schéma de l'outil de design et génération de l'automate] tigli
@@ Ligne 35: / Ligne 35: @@
 {{:recherche:projets:syncomp:meetings:syncom.jpg?200|photo tableau}}
+==== Roadmap : ====
+  * Clarifier la notion de dispositif et Système Ambiant : Cf. papier ci-dessus
+  * Générer dans un Bean un automate avec des signaux d'entrée et de sortie purs à partir de clem
+  * L'automate sera celui du dispositif (ex. lampe)
+  * Ajouter des contraintes avec le langage DCL entre deux lampes d'une même pièce
+  * Ces deux lampes / dispositifs font alors parties d'un même système ambiant car couplés ( quelque soit l'état d'une lampe si l'autre est allumée la pièce est allumée).
+  * Calcul de la composition des automates des dispositifs du système pour modéliser les accès concurrent au système + les contraintes associées modélisée sous forme d'automate => model checking
+  * Génération du bean de l'automate correspondant (par dispositif ? par système ?) avec événement d'entrée et de sortie pur.
+  * Premier test de la chaine de conception / déploiement / exécution logicielle sous WComp ASAP pour se faire une idée des incréments nécessaires.