In-depth understanding of the principles and theoretical background of computer systems reliability, digital system design, formal methods in computing systems and real time systems required for solving engineering problems in the area of computer engineering. Ability to design and conduct analytic, modeling, simulation and experimental investigation. Ability to design solutions to problems that are unfamiliar, incompletely defined, and have competing specifications. Ability to formulate the problem and criticaly evaluate the solution. Practical experience with design, implementation, and deployment of computer systems.

1. analyze the reliability and fault tolerance of computer systems
2. design a complex digital system using HDLs
3. design a complex digital system using ASICs
4. apply the scheduling methods and communication methods to real-time problems
5. develop the model and program structures for real-time systems
6. apply the formal methods for verification of software and circuits

Lectures are conducted through 15 weeks, one hour per week (average). The material presented in the lectures serves as a preparation for solving the problems concerning four areas mentioned.

Laboratory exercises are conducted through 15 weeks, two hours per week. During the laboratory exercises the students solve the problems concerning four areas mentioned.

1. Introductory lecture. Laboratory exercise introduction related to reliability and fault tolerance. Consultations
2. Introduction to the development platform used in digital systems design: Altium LiveDesign, Xilinx Spartan3 FPGA, Xilinx WebISE Consultations
3. Introduction to the development platform used in digital systems design: Altium LiveDesign, Xilinx Spartan3 FPGA, Xilinx WebISE Consultations
4. Introduction to VHDL Consultations
5. Introduction to VHDL Consultations
6. Xilinx Webise practical example Consultations
7. Xilinx Webise practical example Consultations
8. Introducton to the exercise about improving the reliability of a system Consultations
9. Introducton to the exercise about improving the reliability of a system Consultations
10. Thread scheduling in operating systems Consultations
11. POSIX interface Consultations
12. improving the reliability of a system Consultations
13. Laboratory practice of applying formal methods in computing systems design:(i) Automated theorem proving of typical program sections, (ii) Hardware verification (e.g. multiple request arbiter), (iii) Formal verification of critical operating systems communication protocols. (Part 1.) Consultations
14. Laboratory practice of applying formal methods in computing systems design:(i) Automated theorem proving of typical program sections, (ii) Hardware verification (e.g. multiple request arbiter), (iii) Formal verification of critical operating systems communication protocols. (Part 2.) Consultations
15. Laboratory practice of applying formal methods in computing systems design:(i) Automated theorem proving of typical program sections, (ii) Hardware verification (e.g. multiple request arbiter), (iii) Formal verification of critical operating systems communication protocols. (Part 3.) Consultations