3 research outputs found

    Contribution à un système d'exploitation générique d'infrastructures urbaines avec composantes mobiles

    Get PDF
    Intégration de composantes réparties -- L'exploitation selon les municipalités -- Outils d'exploitation -- Architecture informatique -- Développement à base de composantes -- Conception du SIDEX générique -- Propriétés caractéristiques des systèmes urbains -- Architecture générale du SIGEC -- Analyse et conception du SIDEX générique -- Architecture du SIDEX générique -- Architecture informatique -- Mécanismes de surveillance et de communication -- Instanciation du SIDEX générique et implémentation -- Instanciation du SIDEX Égout -- Processus d'instanciation -- Considérations sur le choix de la méthode d'implémentation

    Une approche formelle basée BRS pour la spécification et la vérification des architectures des systèmes Multi-Agents

    No full text
    Multi-Agent System (MAS) paradigm, can be particularly suitable to builddistributed, open and concurrent systems. In fact, it has shown to be an excellentand adequate way to develop a variety of large and complex industrialapplications across different domains, such as distributed networks management,grid computing, smart web services, etc. Indeed, these systems mustbe designed to meet increasingly new requirements. Therefore, they must beflexible, robust and capable to adapt to their environments. However, thediversity of the basics, on one hand, and the complexity of the concepts relatedto agents, on the other hand, make it difficult to conceive and developreconfigurable multi-agent systems.In this work, we rely on formal methods to manage the complexity ofthese aspects and reason on the design of MAS architectures. Precisely,we propose a formal modelling approach based on Bigraphical ReactiveSystems (BRS) for the specification of multi-agent system architectures andtheir reconfiguration. BRS present a promising and effective solution for thedevelopment of high quality and safe MAS at reasonable cost and time span.In addition, they enable the verification of MAS relevant properties using abigraphical model checking tool named BigMC.Le paradigme multi-agent (SMA) peut être particulièrement adapté à laconstruction de systèmes distribués, ouverts et concurrents. Il est reconnu,comme étant un moyen excellent et adéquat pour développer une variété d'applicationsindustrielles de grande envergure dans différents domaines, tels que :la gestion des réseaux distribués, l'informatique en grille, les services web intelligents,etc. Ces systèmes doivent souvent opérer dans des environnementsdynamiques et faire face au défi de l'évolution constante de leurs exigences ;donc ils doivent être flexibles, robustes et capables de s'adapter à leurs environnements.Ceci, rend difficile la conception et le développement des systèmesmulti-agents reconfigurables.Dans ce travail, nous nous basons sur les méthodes formelles pour gérerla complexité des aspects liés à la conception des architectures de SMA. Plusprécisément, nous proposons une approche de modélisation formelle basée surles systèmes réactifs bigraphiques (BRS) pour la spécification et la vérificationdes architectures des systèmes multi-agents et leur reconfiguration. Les BRSprésentent une solution prometteuse et efficace pour le développement desSMA sûrs et de qualité. En outre, ils permettent la vérification des propriétéspertinentes des SMA à l'aide d'outils de vérification de modèles bigraphiques

    Développement d'une structure de médiation pédagogique et analyse de ses effets sur les processus cognitifs des apprenants

    Full text link
    Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal
    corecore