This master's thesis deals with the issue of modeling and simulation of systems based on the DEVS formalism. The result of this work is a library that is inspired by the adevs tool and based on the classical DEVS formalism. The library is implemented in the programming language C++20 and is supplemented by predefined models of components for creation of queueing systems. The library also contains a set of examples for use in teaching. In comparison with the paralel adevs tool it is less effective but it has simpler interface with focus on clarity, which is more important for teaching. The library also simplifies definition of models with the use of modules, intelligent pointers for memory management and the use of mentioned components.

The goal of this master's thesis is to provide an introduction to MSP430 microcontrollers and to design a simulator of these microcontrollers, focusing on easy implementation of extensions using peripherals. After a short introduction, the MSP430 microcontrollers are briefly described, including their internal peripherals and the formats used to store the binary executable code. The thesis continues with a  description of discrete event simulation using the DEVS formalism. Based on previous chapters, the new simulator (consisting of a simulation core, graphical user interface and library for MSP430 microcontroller simulation)  is designed and implemented. The implementation is tested by comparison with real microcontroller and in the end of the thesis, there is a summary and evaluation of the implemented simulator.

In this thesis, we present our approach to add dynamism support to simulation environments, which adopts DEVS-based modeling and simulation approach and builds upon previous work on SiMA, a DEVS-based simulation framework developed at TUBITAK UEKAE. Defining and executing simulation models of complex and adaptive systems is often a non-trivial task. One of the requirements of simulation software frameworks for such complex and adaptive systems is that supporting variable structure models, which can change their behavior and structure according to the changing conditions. In the relevant literature there are already proposed solutions to the dynamism support problem. One particular contribution offered in this study over previous approaches is the systematic and automatic framework support for poststructural-change state synchronization among models with related couplings, in a way that benefits from the strongly-typed execution environment SiMA provides. In this study, in addition to introducing theoretical extensions to classic SiMA, performance comparisons of dynamic version with classic version over a sample Wireless Sensor Network simulation is provided and possible effects of dynamism extensions to the performance are discussed.

This thesis describes the design and implementation of an client-server application. This application is used to remote access to models of systems, which are saved on the server. Application also provides editation of the models and their simulation. In the thesis there is a design of Communication Protocol between the client and server too. For the implementation of the client and prototype of the server was used Qt library. Server is realized as a part of existing simulation core (SmallDEVS), which is implemented by Smalltalk.

The purpose of this master's thesis was to design and implement the simulation server for the DEVS that is using already existing SmallDEVS system. The work is aimed to description of the DEVS formalism, SmallDEVS and implemented simulation server. This server provides functions to create new DEVS models, edit already existing models and control simulation. In addition server saves information about state changes during the simulation process, so we can find out the state of the model at any simulation time. It allows to analyze this data and get more information about the simulation process, which was not possible until now. There is a complete description of the communication protocol between client and server in this document. If a new function is implemented in the SmallDEVS system, this protocol can be easily updated. A prototype of client was implemented during this project to test the implemented simulation server. The client implements this communication protocol and allows the user to work with the SmallDEVS system on the server.

This thesis deals with development of a graphical editor of simulation models. Design of the editor is based on a research which was carried out among professional simulation systems with graphical user interface. The new graphical editor is based on DEVS formalism since it is quite hard to implement a reliable simulation tool. This formalism was verified in great number of its implementation. One of them is Adevs library which is used in editor. Plugins can be used to provide additional features (i.e. another simulator) without need for changing the code of the editor. Another way to extend editor functionality are user scripts. The thesis presents the software development process of the editor in detail. Furthermore, a brief summary of DEVS formalism along with some DEVS modifications and extensions is included. In the end, a set of tests which were used for editor testing on multiple platforms is added.

Cette thèse se situe dans le contexte de l’importante mutation stratégique qu’opère l’Industrie européenne face à l’émergence de nouveaux Marchés. Une caractéristique majeure de ces nouveaux Marchés est la grande variabilité des besoins clients. Cette mutation remplace le produit manufacturé, au coeur des stratégies Métier, par ses services d’accompagnement, en réponse aux nouvelles exigences des clients. Ainsi, les processus Métier, initialement pensés,construits et pilotés autour du produit, doivent aujourd’hui être revus et complétés de manière à intégrer les services. C’est cette question que veut traiter la thèse, à travers une proposition d’architecture d’ingénierie des services dirigée par les modèles, supportée par un environnement logiciel appelé SLMToolBox qui permet la semi automatisation d’une partie de la gestion du cycle de vie d’un service (modélisation, simulation et évaluation de performances). Ce travail de recherche était dans le cadre de projet MSEE, un projet européen de recherche et développement en collaboration avec 18 partenaires de 9 pays européen. Le but de ce projet est de faire évoluer le concept de SSME (Service Science Management and Engineering) vers des systèmes de production et des usines du futur, i.e. d'un point de vue méthodologique, pour adapter, modifier et étendre les concepts de SSME pour les rendre applicables à des entreprises traditionnellement orientées vers une production orientée produit et d'un point de vue implantation, d'instancier les architectures et les plateformes orientées vers les services liés au futur internet pour des systèmes globaux de production de services.La thèse à apporter plusieurs résultats (MDSEA, Etended Actigram Star EA*, Transformation de modèle, simulation, et SLMToolBox) pour répondre aux besoins de servitization. / In today’s world of business, manufacturers are facing many challenges. Business strategiesivare changing and manufacturers are entering new markets and striving to meet new andchanging customer needs. Manufacturers are outsourcing more components and services tosuppliers around the world, restructuring their internal operating and information systems, andre-engineering production processes to eliminate waste and lower costs. They are changingthe nature of their organizations by partnering with other companies in complex supply chainsand business networks that now extend globally. Manufacturing is being redefined by changesin market place and how companies react to them. As a result, many manufacturers wanted tomake the shift to services as a solution, but they find themselves trapped in the world ofproducts. At the end of the nineties, the concept of Service in Manufacturing appeared and theevolution from an economy of products towards an economy of services surrounding productsbecame more and more important in manufacturing. The process of creating value by addingservices to a tangible product has first been called “servitization”. Based on the problematic ofServitization and service system engineering and in order to reduce effort and time in servicesystem engineering, this thesis (as being part of the MSEE project) contributed in thedevelopment of solutions. The contribution of the thesis’s result can be classified into relatedand connected pillars. The first pillar is the participation in the development of the ModelDriven Service Engineering Architecture (MDSEA) which permits Virtual ManufacturingEnterprises (VME) to model their service systems (AS-IS and TO-BE models) starting frommodeling the system from business experts angle and then adding more details to reach thedevelopers and technical experts angle. The second pillar is the development of a modelingand simulation tool, the SLMToolBox. This tool is a partial implementation of MDSEA andits name Service Lifecycle Management ToolBox implies a role in the service’s lifecycle. Thethird pillar is the development of a DEVS graphical editor and simulator integrated in theSLMToolBox.

Conventional method of development which repeats phases of design, implementation and testing is not adequate for systems like intelligent agents for which complex behavior is required but specification is unclear at the beginning of development process. Incremental design of agent's model during simulation seems more suitable for it enables direct feedback in behavioral changes of a system. This interactivity speeds up development process and helps to uncover parts of a space of all models to designer - thanks to new knowledge acquired during simulation. This thesis aims to provide comparison of suitability of two agent architectures and respective platforms in context of SmallDEVS modeling and simulation framework for this methodology of development. First approach is reactive and decentralized subsumption architecture based on DEVS formalism and the second one is PNagent, framework realizing deliberative BDI architecture using Object Oriented Petri Nets.

This MSc Thesis describes creation of motion model of mobile robot called Trilobot. This model is implemented into simple simulation tool. Some laboratory experiments with the robot are described in this paper. There is also some information about SmallDEVS tool and Squeak Smalltalk environment in which the model was implemented. Motivation of this work is effort to simplify the design and testing of navigation algorithms for Trilobot, which is available for students of FIT BUT in the robotics lab of department of intelligent systems. This simple simulation tool could partially reduce dependence on physical availability of this robot.