Browsing by Author "KISSOUM , Yacine"

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Développement d’un système IOT pour la surveillance et l’optimisation énergétique d’un Four Industriel
    (Faculté des Sciences, 2025) GUENNOUNE ,Med.Amine; RAHMOUNI ,Hidaya; KISSOUM , Yacine
    La conception et le développement d’un système IoT intégré à un environnement industriel, destiné à surveiller en temps réel un four industriel. L’objectif est de détecter les anomalies de fonctionnement, de proposer des optimisations et d’améliorer l’efficacité énergétique du four. Le système repose sur des capteurs intelligents pour collecter les données, le Cloud Computing et le Fog Computing pour le traitement distribué, et l’intelligence artificielle pour analyser les données et générer des recommandations. Une modélisation UML est utilisée pour formaliser les interactions entre les différents acteurs (opérateur, technicien) et composants (capteurs, four, module d’optimisation). La contribution principale consiste en la proposition d’un prototype fonctionnel capable d’alerter sur des dysfonctionnements, de recommander des actions préventives et d’optimiser la consommation d’énergie. Les résultats attendus incluent une maintenance prédictive renforcée, des économies d’énergie significatives et une fiabilité accrue des opérations du four. Ce travail illustre également les apports de l’Industrie 4.0 et des technologies numériques pour rendre les installations de production plus intelligentes et plus économes en énergie.
  • Thumbnail Image
    Item
    Model-Based Testing of Multi-Agent Systems
    (Faculty of Sciences, 2022) MEZDOUR , Khaled; BOULBIR , Karima; KISSOUM , Yacine
    This thesis uses a method that encompasses all levels of higher agent abstraction to address the challenge of formal model-based testing for multi-agent systems. The agent level, the agent company level, and the system level are the three levels of abstraction. The proposed method is ethical when it comes to model-based testing. By establishing a process that incorporates requirement management, test case creation automation, and test case execution. We first propose an agent-based system that uses reference networks to represent a mobile agent. The example was created using the MULAN (multi agent system net) architecture and the Java programming language. Second, we provide a model-based (network-to-network) testing approach that works in conjunction with the JUNIT tool for developing and testing multi-agent systems. Unlike other test methodologies, where instrumentation is primarily related to the program's source code, our approach keeps the tested application intact by instrumenting at the model level, allowing it to retain its initial behavior