This thesis deals with the design and implementation of a processor simulation memory subsystem. The memory subsystem is designed using the Transaction Level Modeling approach. The implementation is done in C++ language utilizing the SystemC library. The processor simulation is adopted from the Codasip company simulator. The objective is to create a functional connection between the processor and the memory inside the simulator. This connection supports communication protocols of AHB3-lite, AXI4-lite, CPB, and CPB-lite buses. The new implementation of the aforementioned connection and the memory is integrated into the original simulator. The resulting simulator is tested using unit tests.

This thesis deals with problematics of secure operations of microcontrollers. During long-term use, the microcontrollers can be affected by error or malfunction. The aim of this thesis is to describe the types of errors which can affect processors, cause of creation of these errors and possibilities of preventing malfunctions in microcontrollers. There is many problems connected with operation of microcontrollers, therefore there are many methods to prevent these problems. First part of this thesis deals with description of types of mistakes and with attempts of theirs modelling. Second part of this thesis narrate possibilities of preventing each type of mistake during designing the system or during operation of microcontroller and explaining methods of fault toleration by using redundant circuits in case of hardware fault and by modifying source code in case of software faults. In third part the hazard analytical methods are described. The recognition of events able to damage the system has high importance. The risk analysis takes place during developing and during operation of the system. Fourth part is trying to describe some of the processor testing techniques as main method of finding errors before operating use of microcontroller. Last part attempts to practical draft of testing algorithm for chosen microprocessor and application of one of analytical techniques.

This work is focused on single phase inverters, which are used for the conversion of the direct current to the alternating current and are nowdays used especially in systems of back-up power supply. The specific aim of this work is implementation of design hight power circuit of inverter include calculation of control algorithm. It describes the complete solution of power circuit. Next step is a analysis of problems concerning the digital control with help of signal processor which is used for solution of regulator structure. Check of the design and checkout of control algorithm is made in the form of simulation in the MATLAB Simulink. Debugged program algorithm is subsequently implemented into the signal microprocessor. The work results rate estimation functionality of inverter and solution of control algorithm.