Translated using DeepL

Machine-translated page for increased accessibility for English questioners.

Page in original, Czech language.

Programmable Engineering Structures/Embedded Systems

Supervisor: prof. Ing. Václav Přenosil, CSc.

The field of Embedded systems provides specific knowledge for working with programmable structures with an overlap into parallel and distributed systems, computer networks and cryptography. The field emphasizes a balance of courses providing the necessary theoretical foundation and courses oriented towards the acquisition of practical skills that are applied in the design, implementation, analysis, testing and operation of encapsulated systems. Working on a project in a small team and oriented towards experimental and prototype solutions of interesting problems related to practical problems arising from the research and development activities of the faculty is an integral part of the study.

Requirements

  • Obtain at least 120 credits over the entire period of study and pass the state exam (SZMGR course).
  • Complete all required and selected elective courses in the major by the highest form of completion.
  • Obtain 20 credits for the SDIPR course and defend the thesis, see guidelines.

Compulsory courses

  • IA158 Real Time Systems (2+2 cr.)
  • IA159 Formal Verification Methods (2+2 cr.)
  • PA174 Design of Digital Systems II (2+2 cr.)
  • PA175 Digital Systems Diagnostics II (2+2 cr.)
  • PA176 Architecture of Digital Systems II (2+2 cr.)
  • PA190 Digital Signal Processing (2+2 cr.)
  • PV191 Project in Digital Systems Design (3+1 cr.)
  • PV200 Introduction to hardware description languages (3+1 kr.)
  • PřF:F5090 Electronics (2a) (2+2 kr.)

Compulsory electives

  • at least 3 of:
    • MA002 Mathematical Analysis (4+2 cr.)
    • MA010 Graph Theory (3+2 cr.)
    • MV008 Algebra I (2+2 cr.)
    • MV011 Statistics I (4+2 cr.)
    • M2110 Linear Algebra and Geometry II (4+2 cr.)
    • PřF:M4180 Numerical Methods I (4+2 kr.)
  • at least 1 of:
    • IA006 Selected Chapters in Automata Theory (3+2 cr.)
    • IA008 Computational Logic (4+2 cr.)
    • IV003 Algorithms and Data Structures II (3+2 cr.)
  • 1 of:
  • at least 1 of:
    • PA017 Software Engineering II (2+2 cr.)
    • PA039 Supercomputer Architecture and Intensive Computing (2+2 cr.)
    • PA150 Principles of Operating Systems (2+2 cr.)
    • PA151 Contemporary Computer Networks (2+2 cr.)
    • PA152 Effective Use of Database Systems (2+2 cr.)
    • PA159 Computer Networks and Applications I (2+2 cr.)

Recommendations

Students in this course are expected to have knowledge at the level of the same undergraduate course. If this is not fulfilled, it is recommended to make up the missing knowledge by enrolling in key undergraduate courses, namely PB170 and PB171, in the first year of study.

Recommended course of study

Semester 1

  • MA002 Mathematical Analysis (4+2 cr.)
  • PA017 Software Engineering II (2+2 cr.)
  • PA174 Design of Digital Systems II (2+2 cr.)
  • PV200 Introduction to hardware description languages (3+1 kr.)

2nd semester

  • IA158 Real Time Systems (2+2 kr.)
  • MV011 Statistics I (4+2 kr.)
  • PA176 Architecture of Digital Systems II (2+2 kr.)
  • PA190 Digital Signal Processing (2+2 cr.)
  • PV191 Design of Digital Systems (3+1 cr.)
  • PřF:F5090 Electronics (2a) (2+2 kr.)

3rd semester

  • IA008 Computational Logic (4+2 cr.)
  • MV008 Algebra I (2+2 cr.)
  • PA175 Digital Systems Diagnostics II (2+2 cr.)
  • F5190 Practical Electronics (2+1 cr.)
  • SDIPR Thesis (10 kr.)

4th semester

  • IA159 Formal Verification Methods (2+2 cr.)
  • PA152 Effective Use of Database Systems (2+2 cr.)
  • SDIPR Master Thesis (10 kr.)