Outils pour utilisateurs

Outils du site


Panneau latéral

Accueil

Select other language :


Apprentissage

Enseignements

Enseignements Département Informatique SI5 et Master IFI

Enseignements Département Bâtiment Polytech'Nice

Autres Formations française et étrangère

Activités administratives, Ingénierie et Innovation Pédagogiques

Apprentissage Département Informatique SI5/Master 2 ingénierie informatique EUR DS4H


Recherche

Valorisation de la Recherche

Dépôts Logiciels à l’Agence de Protection des Programme (APP)

Valorisation des résultats de recherche et transfert

Diffusion de la Culture scientifique et Technologique

Communications de presse

Séminaire ENSI Tunis

Pédagogie Innovante

Relations industrielles et socio-économique

Organisation de Manifestations

  • Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
  • Journées UbiMob'14 Site Web

Animation de la Recherche

U-Santé

Privé

Outils

Sources d'Informations

collaborations_recherche:univ_corte:minutes_161014

Ceci est une ancienne révision du document !


Minutes Meeting du 16/09/14

Architecturalement parlant on a trois Beans … dont un Bean central. Liste des topics recherche à venir :

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. (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) ex. déclenchement d'un cycle de contrôle de la machine d'exécution sur chaque occurrence d'événement en entrée.

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

Deux pistes :

  • 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
    • 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

ces mon produit d'automate avec ses contraitnes ajoutées : ex : on1-off2 ⇒ on et on2-oof1 ⇒ on qui va résoudre la compostion validatation par model checking sur l'automate résultatnt

B> résoudre les contraintes de la coposition liées aux accés concurrents dans la mahcine d'exécution sans en tenir copte dans l'automate

Je dépose dans la stratégie de la machine d'exécution, en plus des asppects génréqes (ex. DT entre deux décleanchment … , donc tout quelque soit le dispotif), des contraintes sur la génération des événmrents d'entrée de l'automate liées à la sémnatinwque du dispostif : on1 - off2 ⇒ on on2 - off1 ⇒ on

collaborations_recherche/univ_corte/minutes_161014.1415357630.txt.gz · Dernière modification: 2014/11/07 11:53 par tigli