Laboratory of Computer Engineering 2

Course Description

The laboratory assignments grouped in 4 areas, designed to complement the material covered in lectures. Computer Systems reliability: Fault modeling and digital system testing. Reliability evaluation and analysis. Digital System Design:design and test simple to moderately complex digital circuits by using VHDL environment and programmable devices. Formal methods in computing systems design: Automated theorem proving, hardware verification, formal verification of critical OS communication protocols. Real time systems: system modeling, program structures, task and resource allocation. Static and dynamic scheduling. Real-time communication.

General Competencies

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.

Learning Outcomes

  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

Forms of Teaching

Lectures

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 Work

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

Grading Method

Continuous Assessment Exam
Type Threshold Percent of Grade Threshold Percent of Grade
Laboratory Exercises 0 % 100 % 0 % 0 %
Exam: Written 0 % 100 %

Week by Week Schedule

  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

Study Programmes

University graduate
Computer Engineering (profile)
(2. semester)

Literature

Lecturers (2006.), Lecture notes and recommended literature for the courses, FER
Z. Navabi (1997.), VHDL-Analysis and Modeling of Digital Systems, McGraw-Hill
D.P. Siewiorek, R.S. Swarz (1998.), Reliable Computer Systems: Design and Evaluation, A K Peters/CRC Press
Michael Huth, Mark Ryan (2004.), Logic in Computer Science, Cambridge University Press
J.W.S. Liu (2000.), Real-Time Systems, Prentice Hall

Laboratory exercises

General

ID 35223
  Summer semester
3 ECTS
L1 English Level
L1 e-Learning
15 Lectures
0 Exercises
30 Laboratory exercises
0 Project laboratory

Grading System

90 Excellent
75 Very Good
60 Good
50 Acceptable