Státní magisterská zkouška v programu Informatika, obor Embedded Systems N-IN EMBA

Soft and hard real time systems. Real time scheduling: scheduling for periodic tasks, priority-driven scheduling, resource access control. Algorithms: Earliest deadline first, rate monotonic, deadline monotonic. Priority inversion problem.
Modeling and verification of real time systems. Formal verification, model checking. Timed automata, timed logics. Algorithms for verification of timed automata.
Real time and concurrent programming. Synchronization, communication. Real time operating systems. Real time communication protocols. Real time support in programming languages, POSIX.
Formal models of infinite-state systems (process algebras, Petri nets, rewrite systems, automata), their expressive power and decidability of basic behavioral equivalences.
Model checking of finite systems and Linear Temporal Logic (LTL): basic symbolic and explicit algorithms, their complexity.
Specific techniques for verification of software systems: abstract interpretation, abstraction and approximation, partial order reduction, CEGAR method (counter-example quided abstraction refinement).
Embedded systems building blocks - microcontroller, CPU, I/O ports, interrupts, timers/counters, watchdog timer, PWM, ADC, UART, SPI, I2C, power save modes, memories (FLASH, EEPROM, SRAM).
Programming embedded systems in C and C++. Real-time issues, hardware fundamentals, interrupts and ISRs, memory management, handling peripherals, error handling, communications interfacing, troubleshooting and debugging issues.
Design and development of embedded systems. Safety, dependability and diagnostics of embedded systems. Worst case design and fault injection. Performance of the embedded systems hardware and software.
Methods of the combinational circuits design. Analyses of the submission, algebraic, logical, graphics and algorithmic minimization methods, optimization based on the maximum operational frequency, minimum components or on the testability. Comparators, arithmetical circuits, multiplexers, demultiplexers, coders and decoders. Typical disturbing phenomenon - babble crosstalk, jamming, reflections of the electromagnetic impulses and impedance matching.
Methods of the sequence circuits design. Analyses of the submission, techniques of a solution (state diagram, state table, application table), state coding and its influence of the design, sequence automata and sequential machines. Design of flip-flops, registers, counters, sequencers and controllers.
Programmable Array Logics, its layout and fundamental nature. Design tools, design systems and design methods for assembling of embedded systems. Small, middle and large scale integrated programmable components and their exemplary applications.
Typical hardware of FPGA - embedded multipliers, PPC, ROM, RAM, PLL, NIOS, IP COREs and another modules. Implementation, simulation, testing and debugging of basic modules.
Structure of digital systems, basic architecture of digital computers, I/O subsystems, interfaces, coding of numbers and characters, BCD codes, redundant codes, safety codes, implementation arithmetic and arithmetic operations, essentials of signal processing, digital signal processors, model driven architecture.
Typical architectures of single-chip controllers, DMA, interrupt systems, buses structures, internal and external buses, internal and external support circuits, I/O subsystems, A/D and D/A converters.
Structures and operation principle of I/O devices, drivers and control of I/O devices, reliability control and testing of I/O device.
Modeling of digital systems and digital circuits, modeling of digital systems reliability, structure redundancy, control and digital systems reliability.
Design of fault tolerant systems, checking and testing of digital systems, checking circuits and checking module of digital systems, structures and principles of control configuration and degradation functionality of digital systems.
Technical diagnostics, fault diagnostic of digital circuits, testability of digital circuits, simulation and test methodologies for digital circuits design, digital system testing and lightly testable design.