Programovatelné technické struktury / Embedded systems

1. Real Time Systems. Soft and hard real time systems. Real time scheduling: scheduling for periodic tasks, priority-driven scheduling, resource access control. Modeling and verification of real time systems, timed automata.
   IA158
2. Formal Verification Methods. Abstraction. Counter-example guided abstraction refinement. Static analysis, abstract interpretation. Shape analysis. Software verification via automata, symbolic execution, and interpolation.
   IA159
3. Formal Verification Methods II. Specific techniques for verification of software systems, abstract interpretation, methods of abstraction and approximation, partial order reduction, counterexample guided abstraction refinement.
   IA159
4. Design of Digital Systems II. 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.
   PA174
5. Design of Digital Systems II. 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.
   PA174
6. Digital Systems Diagnostics II. Design of fault tolerant systems, checking and testing of digital systems, checking circuits and checking module of digital systems, simulation and test methodologies for digital circuits design, structures and principles of control configuration and degradation functionality of digital systems.
   PA175
7. Digital Systems Diagnostics II. Design and development of embedded systems. Safety, dependability and diagnostics of embedded systems. Modeling of digital systems reliability, structure redundancy, control and digital systems reliability. Worst case design and fault injection. Performance of the embedded systems hardware and software.
   PA175
8. Architecture of Digital Systems II. Embedded systems building blocks - microcontroller, CPU, DMA, interrupt systems, buses structures, I/O subsystems, internal and external buses, internal and external support circuits (UART, SPI, I2C), A/D and D/A converters, timers/counters, watchdog timer, PWM, power save modes, memories (FLASH, EEPROM, SRAM).
   PA176
9. Architecture of Digital Systems II. Typical hardware of FPGA - embedded multipliers, PPC, ROM, RAM, PLL, NIOS, IP COREs and another modules. Implementation, simulation, testing and debugging of basic modules. Modeling of digital systems and digital circuits.
   PA176
10. Digital Signal Processing. Analog to digital converter (ADC) and digital to analog converter (DAC), spectrum of a signal, time sampling and amplitude quantization of a signal, discrete fourier transform - DFT, fast fourier transform - FFT, parametric and nonparametric spectral estimation in use, using DSP in audio and telemetric application.
    PA190