|
| |
|
|
Maintenance of Small Transport Aircraft with Application MSG-3 Methodology
Trefilová, Helena ; Třetina, Karel (referee) ; Finda, Jindřich (advisor)
Master’s thesis deals with problems of maintenance of small transport aircraft with application MSG-3 methodology and maintenance plan development. It is aimed at systems and powerplant maintenance. This method is applied on L-410UVP-E20 aircraft. Other parts of this work are assessment of recent situation in maintenance of airplanes, used approaches to maintenance, methods and documentation for maintenance. Last part of this work is practical example of MSG-3 process on assign item and its interpretation.
|
|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (referee) ; Strnadel, Josef (advisor)
Cieľom tejto práce bolo vyhodnotiť ukazalete spoľahlivosti výpočtových systémov. V pr- vom rade bola založená terminológia ktorá vysvetľuje základné pojmy ohľadom štatistiky and spoľahlivosti. Ďalej boli v tomto kroku preskúmané typy a vlastnosti chýb ktoré sa v takýchto systémoch vyskytujú, a techniky ktoré sa dajú využit na ich potlačenie alebo zmiernenie ich dopadu na fungovanie systému. V ďalšom kroku boli vysvetlené základné koncepty ohľadom modelovania a simulácie ako aj krátky nahľad do presností jednotlivých techník ktoré boli zvažované ako možnosti ktoré by boli použiteľné pri samotnom pro- cese generovania dát. Po rozhodnutí ísť cestou štatistickej simulácie boli v ďalšom kroku zavedené metódy pre generovanie dát analytickým spôsobom ktoré slúžia na overenie dát vygenerovaných štatistickými simuláciami, do úrovne kde je ešte možné sa k nim dostať re- latívne jednoduchými výpočtami. Nasleduje prehľad nástrojov na implementáciu modelov našich systémov, ich výhody a nevýhody a miera použiteľnosti. V ďalšich krokoch boli vo vybranom nástroji Uppaal SMC naimplementované niektoré vybrané systémy a situácie na základe časovych automatov, a následne boli vyhodnotené oproti iným metódam zlepšenia spoľahlivosti ako aj oproti analyticky dosiahnutým dátam. Práca končí zavermi ktoré boli vyvodené z testovacích dát.
|
|
|
Dependability Assessment of Fault Tolerant Systems
Suchánek, Martin ; Šimek, Václav (referee) ; Strnadel, Josef (advisor)
Reliability is an important part of various systems. The aim of the work is to create reliability models of some reconfigurable and nonreconfigurable fault tolerant systems and subsequent evaluation of their reliability indicators. The Uppaal tool is used to create models, along with the SMC extension, which is used for verification. The result of the work is the verification of models and evaluation of reliability indicators using the tool Uppaal SMC.
|
|
|
Methodology for fault tolerant system state synchronization design and its recovery from faults
Szurman, Karel ; Fišer, Petr (referee) ; Racek, Stanislav (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
In this Ph.D. thesis, a new methodology for the fault tolerant system state synchronization design and its recovery from faults is presented. A state synchronization method designed by means of the proposed methodology allows to repair the state of sequential logic elements implemented in the FPGA application logic, which cannot be repaired by the partial dynamic reconfiguration. The proposed methodology describes possible state synchronization design methods with respect to TMR granularity, dependence of the system function on its previous states and the system architecture. The methodology focuses on coarse-grained TMR architectures and state synchronization in the systems controlled by means of finite state machines or a processor. The use of the methodology is demonstrated on the CAN bus control system and the microcontroller NEO430, for which specific synchronization methods were designed. The systems reliability and new ability of the systems for recovery from faults were verified in the presence of simulated SEU faults. The experimental results and the contribution of this thesis are discussed in the conclusion.
|
|
| |
|
|
Vibration diagnosis of machines during routine tests
Kohutek, Tomáš ; Hammer, Miloš (referee) ; Nahodil, Petr (advisor)
This master thesis deals with the vibration diagnostics of machine vibrations during unit tests in industrial company Siemens Electric Machines s.r.o Drásov. In the master thesis is elaborated a design of the diagnostic system which contains selected methods of vibration diagnostics, methology, procedure of measurement and evaluation of measured values. The part of master thesis is also a practical example of measurement on which the mentioned system is tested.
|
|
|
Dependability management
Brlica, Pavel ; Hammer, Miloš (referee) ; Řezníčková, Hana (advisor)
Theme of this bachelor‘s thesis is dependability management. Theoretical part consist of basic definitions of dependability, it describes relationship between dependability and quality and analysis dependability management system. Practical part focus on calculation of dependability coefficients and construct a bathtub curve of a real machine.
|
|
|
Methodology of Inserting Checkers into Digital System
Bartl, Michal ; Straka, Martin (referee) ; Kotásek, Zdeněk (advisor)
The topics described in this diploma thesis belong to the area of digital systems testability analysis. Basic concepts as dependability, controllability, observability and testability are explained. Methods of raising testability and dependability of digital circuits are mentioned including the metrics which allow to evaluate testability parameters. Furthermore, the thesis describes the formal model of digital systems which introduces the implementing part of the thesis. Within this part, a program tool is demonstrated, which allows to identify the components of digital circuits and their function. The other function of the program tool is to create control circuits that check the correct function of such digital circuits.
|
|
|
Usage of Modern Methods for Increasing Reliability of Control System Implementations
Szurman, Karel ; Mičulka, Lukáš (referee) ; Kaštil, Jan (advisor)
At avionics control and critical systems is necessary guarantee a minimal level of fault tolerance and their high reliability. On the electronic components in these devices has an undesirable influence environment conditions and mainly cosmic ray. In this paper are described the most common failure types of semiconductor components and devices together with modern methods which can be increased the system fault tolerance and its overall reliability. There are introduced aspects of the avionic systems design due to finally certification and ways to evaluate its safety. This thesis describes design and implementation of the CAN bus control system for the FPGA platform which uses the CANAerospace application protocol. Created system design is improved by the TMR architecture. Fault tolerance of both system version is tested by the SEU framework which allows using the dynamic partial reconfiguration generate an SEU failures into running FPGA design.
|
guest ::
