Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
collaborations_recherche:univ_corte:minutes_161014 [2014/11/07 11:51] tigli [Minutes Meeting du 16/09/14] |
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. | 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 | Défi 1 : Valider l'implémentation asynchrone du modèle synchrone de comportement dans un composant asynchrone | ||
Ligne 23: | Ligne 23: | ||
* Le problème pour la partie asynchrones est seulement celle du Pb1 | * 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 | * 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 | + | * Des stratégies sont alors à considérer pour intégrer les contraintes de la composition/fusion dans la machine d'exécution (langages) |
+ | |||
+ | |||
+ | |||
+ | |||
+ | +++++++++++++++++ | ||
Ex. | Ex. |