Différences

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

--- collaborations_recherche:univ_corte:minutes_161014 [2014/11/07 11:37]
tigli créée
+++ collaborations_recherche:univ_corte:minutes_161014 [2014/11/07 11:53]
tigli [Minutes Meeting du 16/09/14]
@@ Ligne 8: / Ligne 8: @@
 Problématique Générale : modéliser,  simuler grâce à DEVS (Discrete Event System Specification) différentes stratégies de machine d'exécution d'automates synchrones (issus d'une modélisation synchrone du comportement) au coeur d'un composant logiciel type composant léger dans un environnement asynchrone d'exécution.
-Pb 1 : Modéliser / Simuler des stratégies de machine d'exécution quelque soit l'automate.
+Pb 1 : Modéliser / Simuler des stratégies de machine d'exécution quelque soit l'automate. (langage)
+Défi 1 : Valider l'implémentation asynchrone du modèle synchrone de comportement dans un composant asynchrone
 Les stratégies modélisées / simulées ne dépendent pas de l'automate et son modèle (pas de connaissance sur la sémantique de l'application)
@@ Ligne 14: / Ligne 15: @@
-Pb 2:
+Pb 2: Gérer la composition/ fusion de deux composants asynchrones dont le comportement est modélisé par deux automates synchrones.
+Défi 2 : Validé et Généré le composant résultat
-Qui intègre les contraintes de la compositikon ?
+Deux pistes :
-A > c'est l'automate synvhrone qui résulte du produit des automate x
+  * La composition est faite au niveau des modèles synchrones : le modèle synchrone du composant résultat  est le  produit des automates des composants à composer/fusionner x automate des contraintes à la fusion
-avec l'automate de contrainte
+    * Le problème pour la partie asynchrones est seulement celle du Pb1
+  * La composition est gérée dans les accès concurrents dans la machine d'exécution, multi-automates, sans en tenir compte dans l'automate
+    * Des stratégies sont alors à considérer pour intégrer les contraintes de la composition/fusion dans la machine d'exécution (langages)
++++++++++++++++++
+Ex.
 mes entrées sont on1 /  on2 / off 1 / offé pour  2 accès

JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Différences

Outils de la page