|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
DEVS Simulator Implementation in C++20
Šurina, Timotej ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
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 Trilobot Model
Štěpán, Miroslav ; Janoušek, Vladimír (referee) ; Hrubý, Martin (advisor)
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.
|
|
|
Model Based Design of Software Systems
Hanák, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis deals with modern approach in creating software systems that is named Model-Driven Software Development. This metodology eliminates a lot of critical problems that can appear in conventional metodologies of creating software systems. Main idea of this approach is based on posibility to generate final code from conceptual models that can be done automatically or semi-automatically.
|
|
|
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.
|
guest ::
