|
|
Detecting RTOS Runtime Anomalies
Arm, Jakub ; Jalovecký, Rudolf (referee) ; Blecha, Petr (referee) ; Bradáč, Zdeněk (advisor)
Due to higher requirements of computational power and safety, or functional safety ofequipments intended for the use in the industrial domain, embedded systems containing areal-time operating system are still the active area of research. This thesis addresses thehardware-assisted control module that is based on the runtime model-based verificationof a target application. This subsystem is intended to increase the diagnostic coverage,particularly, the detection of the execution errors. After the specification of the architecture,the formal model is defined and implemented into hardware using FPGA technology.This thesis also discuss some other aspects and embodies new approaches in the area ofembedded flow control, e.g. the integration of the design patterns. Using the simulation,the created module was tested using the created scenarios, which follow the real programexecution record. The results suggest that the error detection time is lower than usingstandard techniques, such a watchdog.
|
|
|
Object Oriented Petri Net Tool
Neužil, Antonín ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This work deals with the development and use of a graphical editor of object-oriented Petri nets implemented in the PNtalk language. First, Petri nets that expand over time are described here. They are followed by a description of the object-oriented paradigm. Next, the structure of object-oriented Petri nets in the implementation of PNtalk is described here. Further work presents a description of the application design, which shows the entire structure of the application from the perspective of views. The main motivation for creating this tool is the effort to make object-oriented Petri nets accessible to their users. The application was implemented in the JavaFX framework and the whole procedure is given in the following chapter together with testing. The result of the work is presented in the examples contained in the last chapter, which also contains detailed manuals for controlling the application. The tool in cooperation with the PNtalk server enables users to work more pleasantly with OOPN and their visual appearance.
|
|
|
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.
|
|
|
Risks Analysis in Project Management
Paulenda, Ján ; Šuška, Boris (referee) ; Kreslíková, Jitka (advisor)
The main subject of this Master's thesis is risk management with emphasis on risk analysis stage. All important stages, definitions and techniques are introduced in the context of risk management. There are several risk analysis methods discussed in this thesis, especially the Markov analysis and the Petri net analysis. After the thorough analysis of the subject, the system to support the risk management was designed and implemented, while precisely Markov analysis was chosen.
|
|
|
High-Level Petri Nets Interpreter in Python
Grigorev, Danil ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This work is targeting a goal of implementing a high level Petri net interpret in Python. The implementation is based on SNAKES library. The final product is capable of executing and visualising Petri nets, created by user. The simulator is based on distributed systems theory and is executed in real-time. The end user is able to experience a simple and human-friendly API, made for creation and execution of High-Level Petri Nets.
|
|
|
Petri nets Visualization on Power Panel
Krechler, Michal ; Malounek, Petr (referee) ; Chomát, Luděk (advisor)
KRECHLER, M. Petri nets visualization on Power Panel. Brno: VUT in Brno,Faculty of electrical engineering and communication, 2009. 75 p. Supervisor Ing. Luděk Chomát. In bachelor's thesis is solved Petri nets problems in simulation of industrial process. Is oriented on use functions of Automation Studio 3.0 in dynamically creating Petri nets on display of Power Panel. Is created several Petri nets for controling models.
|
|
|
Garbage Collector for PNtalk Objects
Mišák, Ján ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the designing of a garbage collector for the PNtalk virtual machine. It describes and rates the approaches and algorithms for an automatic memory management. Four algorithm families ale presented: mark-sweep, mark-compact, copying algorithms and reference counting. At first it describes sequential forms, that pauses running of the main program (mutator), then it describes parallel and concurent forms, that do not pauses the mutator. The thesis also presents generational model of garbage collecting. The following sections briefly introduces object orientated Petri nets. The result of this thesis is the design of the generational garbage collector for the PNtalk virtual machine.
|
|
|
High-Quality Visualization of Petri Nets for Publishing Purposes
Bednář, Drahoslav ; Kočí, Radek (referee) ; Janoušek, Vladimír (advisor)
This work is trying to solve the problem of graphical visualization of Petri nets in text publications. The aim of the thesis is to create a tool that will simplify generating of Petri nets and at the same time provide a more aesthetic graphical output than existing tools do. A simplex algorithm was used for automatic network layout. The program has both graphical interface and text mode and can cooperate well with existing tools for working with Petri nets, which the text also mentions. The program is able to load a pnml file and produce a usable image in png, pdf, and svg formats.
|
|
|
Research in Fingerprint Damage Simulations
Kanich, Ondřej ; Matyáš, Václav (referee) ; Champod, Christophe (referee) ; Drahanský, Martin (advisor)
Cílem této práce je vyvinout metody simulací poškozování otisků prstů. V první části je kladen důraz na shrnutí stávajících znalostí v oblasti generování syntetických otisků prstů a jejich poškozování. Dále jsou uvedeny informace o otiscích prstů obecně, jejich rozpoznávání a vlivy, které otisky poškozují, včetně onemocnění kůže. Práce obsahuje návrh a implementaci aplikace SyFDaS pro generování a modulární poškozování otisků prstů. Další částí je popis metod pro poškozování vlivem průtahového režimu, zúženého snímače, poškozeného snímače, přítlaku a vlhkosti, zkreslení pokožky, bradavic, atopického ekzému a lupénky. Dále je analyzováno několik dalších typů poškození včetně falzifikátů otisků prstů. Celkově je uvedeno 43 základních poškození, která jsou vizuálně verifikována. Díky kombinování poškození je využito 1 171 typů poškození a vygenerováno 348 300 obrázků otisků prstů, které jsou vyhodnoceny čtyřmi různými metodami posuzování kvality.
|
|
|
Detecting RTOS Runtime Anomalies
Arm, Jakub ; Jalovecký, Rudolf (referee) ; Blecha, Petr (referee) ; Bradáč, Zdeněk (advisor)
Due to higher requirements of computational power and safety, or functional safety ofequipments intended for the use in the industrial domain, embedded systems containing areal-time operating system are still the active area of research. This thesis addresses thehardware-assisted control module that is based on the runtime model-based verificationof a target application. This subsystem is intended to increase the diagnostic coverage,particularly, the detection of the execution errors. After the specification of the architecture,the formal model is defined and implemented into hardware using FPGA technology.This thesis also discuss some other aspects and embodies new approaches in the area ofembedded flow control, e.g. the integration of the design patterns. Using the simulation,the created module was tested using the created scenarios, which follow the real programexecution record. The results suggest that the error detection time is lower than usingstandard techniques, such a watchdog.
|
guest ::
