Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | |||
recherche:projets:syncomp:meetings:meeting130415 [2015/04/13 12:38] tigli [Gestion des signaux valués] |
recherche:projets:syncomp:meetings:meeting130415 [2015/04/13 12:49] (Version actuelle) tigli [Schéma de l'outil de design et génération de l'automate] |
||
---|---|---|---|
Ligne 35: | Ligne 35: | ||
{{:recherche:projets:syncomp:meetings:syncom.jpg?200|photo tableau}} | {{: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. | ||
+ | |||