|
|
Zpětná extrakce Stateflow diagramu z kódu v jazyce C
Gavenda, Daniel ; Smrčka, Aleš (referee) ; Fiedor, Jan (advisor)
Simulink diagrams are widely used in industry, where they are used to specify control systems. The specific block used in them is the Stateflow diagram. The specified systems are often critical from the point of view of security, therefore the question of the correctness of the implementation of these systems is important. In this work, we will focus on the design, description and creation of a tool for the reverse reconstruction of the Stateflow diagram from the optimized code in the C language in order to prove the functional equivalence between the model and its corresponding code. Next, a created set of models representing models with Stateflow diagrams and codes generated from them is created, using several optimizations. The created tool will be tested on this set, it can also be used to evaluate other Stateflow analyzes and/or C code.
|
|
|
Visualization of Geographic Data of Industrial Halls
Zavadil, Lukáš ; Lazúr, Juraj (referee) ; Hynek, Jiří (advisor)
The aim of this work is to create a geographic information system that will provide the ability to manage and visualize spatial data of Honeywell’s industrial halls. The system provides an interactive interface that includes tools that allow easy editing of geographic data and visually represents the occurrence of undesirable conditions. The main benefits of its deployment include simplifying the search for downtime and the ability to quickly locate production equipment. It also contains tools that allow users to react to changes in the hierarchy and structure of production halls and their facilities.
|
|
|
Universal Graphic Editor of Screens for LCD Devices
Šmejdíř, Radek ; Drahanský, Martin (referee) ; Orság, Filip (advisor)
This thesis aims at development of a universal graphic screen editor for LCD devices made by Honeywell. The editor is one module of a complex application, which serves automated testing of thermostats and similar devices. In the editor a display layout can be designed, as well as the individual screens. The output is stored to an XML file. The application is written in C# and must be executable in the Microsoft .NET Framework.
|
|
|
Altitmeter for RC aircraft models
Švec, Jan ; Frýza, Tomáš (referee) ; Prokopec, Jan (advisor)
The aim of my bachelor thesis is to design a altimeter, who uses to record the attitude of the model "RC plane" evaluation of the current atmospheric pressure. The data are storaged during the flight into memory. Data can be after the recording through the USB transferred to the PC store. The software on the PC communicates with the device and ensuring the conversion of recorded pressure to altitude RC model.
|
|
|
Altitmeter for RC aircraft models
Švec, Jan ; Frýza, Tomáš (referee) ; Prokopec, Jan (advisor)
The aim of my bachelor thesis is to design an altimeter, who uses to record the attitude of the model "RC plane" evaluation of the current atmospheric pressure. The data are saved during the flight into the memory.The data can be transferred to PC after recording through the USB . The software on PC communicates with the device and ensuring the conversion of recorded pressure to altitude RC model.
|
|
|
Sensorless velocity control and positions of d.c. low-power brush motor
Svoboda, Jan ; Hanák, Pavel (referee) ; Prajzner, Václav (advisor)
This bachelor's thesis focuses on sensorless control of low load brushed DC motor that is used in the actuators made by the Honeywell company. The first part provides an introduction into motor control and common used methods of speed and position sensing of brushed DC motor. Sensorless method of sensing described in this work is the detection of commutation pulses from the signal of motor current. These pulses are caused by brushes leaping over the commutator bars. Correct evaluation of commutation pulses can provide the information about velocity and position of the motor. This relatively new method of detection of commutation pulses is investigated and arising problems are demonstrated on measured samples of signal. Suitable methods of signal processing are then proposed. Infallibility of these signal processing methods is then proved on the set of signals measured under circumstances of supply voltage and abrasion. Then it is decided which signal processing method that sensorless control system can use is the best.
|
|
|
An Application with HAWK Controller
Klíma, Jaroslav ; Štohl, Radek (referee) ; Jirgl, Miroslav (advisor)
The target of this bachelor’s thesis is to execute a connection between the HAWK controller by the Centraline/Honeywell company and crane models through the MODBUS/TCP communication protocol, including a demonstration of its functionality and creating a visualisation. Programmable machines SIEMENS S7-1200 were used to control the models. The first part of the thesis is dedicated to describing the HAWK controller and its communication options in its basic configuration. The second part is dedicated to the most utilized functions and terminology of the COACHAX development environment thanks to which the MODBUS communication is executed and a demonstration application is created. The practical part first offers a basic exercise to demonstrate the communication of a programmable machine and the HAWK controller through MODBUS/TCP and then an application which creates a shell system surface, unlike the programmable machines, and offers advanced options of controlling the model and formation of basic functional statistics.
|
|
|
Production of gas valves on the automatic line
Pešl, Milan ; Rumíšek, Pavel (referee) ; Štroner, Marek (advisor)
This thesis deals with the evaluation of manufacturing gas valves on the automatic line and the design of CCTV systems to detect errors at assembly in Honeywell Czech Republic Ltd. The aim of this thesis is mutual comparison of the respective proposed options of the camera system, their optimal selection, and the evaluation of detected errors of the line by using Pareto Charts. An integral part of this work is a brief description of the automatic line for gas valves and the history of Honeywell Company.
|
|
| |
|
|
User tools to support automated functional testing of prototypes in product development
Grabovský, Štěpán ; Macháček, Jiří (referee) ; Svoboda, Radomír (advisor)
This work deals with develop of PC application to support automated testing of prototypes, which are developing in Honeywell International, Inc., ACS division in Brno. There was created a PC software witch executes testing process based on input script files. For select script files and specify other necessary information was designed a graphic user interface. Testing information are being presented in a program information control in real-time as the same as results of tests. The application also allow to users save the log file. The program has been realized in C# programing language.
|
guest ::
