Thèses de doctorat

Permanent URI for this community

http://dspace.univ-skikda.dz:4000/handle/123456789/15

Browse

Browsing Thèses de doctorat by Author "Abdelhak, Mansoul"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Plateformes et Outils pour la modélisation et la simulation des systèmes à évènements discrets: Application aux systèmes industriels
    (Université 20 Août 1955 Skikda, 2024-02-06) Amel, Dembri; Abdelhak, Mansoul
    L’ingénierie dirigée par les modèles (IDM), accompagne les concepteurs et les assiste dans la réalisation de leurs applications en se référant uniquement à l’artefact modèle. Le cas des systèmes industriels revêt un cadre particulier qui prend en considération des aspects temps réel, confidentialité, rigueur et sécurité. Ainsi, un des objectifs majeurs défendus dans ce travail consiste à fournir un ensemble de solutions de simulation et de modélisation pour de tels systèmes. Parmi ces solutions, une approche originale est développée dans ce travail concerne une extension des réseaux de Pétri aux agents (APN : Agent Petri Nets), ceci permet de formaliser les comportements des systèmes complexes à un niveau d’abstraction élevé et de les valider. L’approche qui été proposée dans ce travail concerne le développement d’une solution qui combine une méthode formelle(APN) et des outils de l’ingénierie dirigée par les mod- èles. Un outil est déployé sous forme de plugin Cinco. Ce travail permet aux concepteurs de manipuler des modèles APN et de les expérimenter grâce à des fonctionnalités de simulation. Enfin, une comparaison couvrant les solutions de modélisation MDA (model driven architecture) parmi les plus intéressantes est élaborée. Cette démarche permettrait d’aider et de guider les concepteurs à choisir des solutions, parmi les plus efficaces, pour concevoir et développer leurs applications.