|
|
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.
|
|
|
Petri Net Interpreter for Control Systems with Atmel Processor
Minář, Michal ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
Thesis focuses on interpretation of nested petri nets described in PNML language on Atmel processors. It introduces this limited - from memory capacity and perfomance point of views - targeted architecture, since it greatly affected both design and implementation. The interpreter is thouroughly described from all aspects of its design. One of most important concerns in the whole process was the ability to test and verify achieved state of functionality quickly and possibly without Atmel processor. That’s why the implentation took place on a squeak platform, that allowed to translate whole interpreter for targeted platform. Motivation behind this and overall process of translation is also a subject of this work.
|
|
|
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.
|
|
|
Web Browser for Squeak Smalltalk
Šlemr, Martin ; Hrubý, Martin (referee) ; Janoušek, Vladimír (advisor)
This Master's thesis is about web browser Scamper in Squeak Smalltalk system environment, it's actual progress, new design and implementation, which respect CSS box model and visual formatting model including tables. Also describe web browsers generally and Internet technologies such HTTP protocol, or structure MIME. Next part of this document is describing Squeak Smalltalk system and it's graphic environment Morphic.
|
guest ::
