|
| |
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
| |
|
|
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.
|
|
|
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.
|
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
|
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.
|
|
| |
guest ::
