|
| |
|
|
Client-Server Application for DEVS-Based Modelling and Simulation
Brázdil, Martin ; Peringer, Petr (referee) ; Janoušek, Vladimír (advisor)
This bachelor’s thesis describes the analysis, design and implementation of an application for DEVS-based modelling and simulation. It is a client-server application, where the client is implemented as a seperate desktop Java application. Server is based on the Smalltalk language (more precisely, Squeak) and builds on existing application SmallDEVS. The reader is acquainted with the basics of discrete event systems specification (DEVS) and Petri nets used for modeling and simulation. The thesis is also dedicated to the design of user-friendly graphical interface on the client side, respectively editor.
|
|
|
Discrete Simulation of Programmable Systems
Mynář, Pavel ; Zuzaňák, Jiří (referee) ; Mlích, Jozef (advisor)
The subject of this thesis is the design and implementation of software library for discrete simulation of programmable units and their mutual communication and implementation of several illustrative examples based on it. The library is designed to be platform independent and as robust and simple to use as possible.
|
|
|
Graphical Editor of Simulation Models
Bulka, Pavol ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
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.
|
|
|
Patform-Neutral Representation of Simualtion Models Based on XML
Durman, David ; Smrčka, Aleš (referee) ; Janoušek, Vladimír (advisor)
The variety of platforms for describing models of discrete event systems brings about the problem of how these models should be represented in order to be easily shared across platforms (shared for the purposes of model validation, effective execution, model reusing, or model integration). This study develops and implements the language DEVSML for the representation of the DEVS models. For the description of these models components, I use state diagrams, which are represented by SCXML. Actions and guards of the state diagrams are described using the language Scheme. This study also presents a visual tool for creation of the state diagrams, which is incorporated in the SmallDEVS system. For the Adevs environment, a transformer of the models described by DEVSML is implemented.
|
|
|
Simulation and Design of Intelligent Agents
Šperka, Svatopluk ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
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.
|
|
|
Simulation Sever for DEVS
Šimara, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
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.
|
|
|
Application for Remote DEVS Modelling and Simulation
Kolařík, Jan ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
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.
|
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Advanced Simulator of MSP430 Microcontrollers
Kaluža, Jan ; Bidlo, Michal (referee) ; Vašíček, Zdeněk (advisor)
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.
|
guest ::
