PA192 Secure hardware-based system design

Fakulta informatiky
podzim 2022
Rozsah
2/2/2. 5 kr. (plus ukončení). Ukončení: zk.
Vyučující
doc. RNDr. Zdeněk Matěj, Ph.D. (přednášející)
prof. Ing. Václav Přenosil, CSc. (přednášející)
Garance
doc. RNDr. Zdeněk Matěj, Ph.D.
Katedra počítačových systémů a komunikací – Fakulta informatiky
Dodavatelské pracoviště: Katedra počítačových systémů a komunikací – Fakulta informatiky
Rozvrh
Po 12:00–13:50 A218
  • Rozvrh seminárních/paralelních skupin:
PA192/01: Čt 12:00–13:50 A415, Z. Matěj, V. Přenosil
Předpoklady
• Design of digital systems:
- encoding and data representation,
- logic algebra and optimization of the logical terms,
- implementation arithmetical and logical operations into digital systems.

• Architecture of digital systems:
- operational memory addressing methods,
- interruption system principles,
- direct memory access principles,
- input / output devices.

• Digital systems dependability:
- basics of probability theory and statistics.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
předmět má 30 mateřských oborů, zobrazit
Cíle předmětu
The course is focused on architectures of secure digital systems, to ensure reliability, dependability, and security of digital systems, assess and learn how to design safe and reliable digital systems. The course will present common problems and design of secure digital systems on real-world examples.
Výstupy z učení
Upon completion of this course, students will have an overview of the architecture of secure digital systems.
Osnova
  • 1) Design of the Digital Systems:
  • i) design elements of digital systems,
  • ii) design of the combinational circuits,
  • iii) design of the sequential circuits.
  • 2) Design of the Digital Systems:
  • i) digital systems cores,
  • ii) design systems and simulation of the digital systems.
  • 3) Architecture of Digital Systems:
  • i) overview of microcontrollers, programmable arrays and DSP,
  • ii) a/d and d/a converters,
  • iii) digital signal processing methods.
  • 4) Digital Systems Dependability:
  • i) reliability evaluation of the electronics devices,
  • ii) failures model of the technical systems,
  • iii) methods and models of the redundancy,
  • iv) Markov reliability and availability models.
  • v) fault tolerant systems.
  • 5) Digital Systems Testing:
  • i) design of test step,
  • ii) design detection and localization tests,
  • iii) fault-tolerant systems,
  • iv) checking methods.
  • 6) Controls to manage the reuse of logic:
  • i) implementing a state machine to direct data flow in case of more complex variations to the input of a resource.
  • 7) Sharing logic resources:
  • i) different resources are shared across different functional boundaries.
  • 8) The impact of RESET:
  • i) an improper reset strategy can create an unnecessarily large design or makes synthesis and optimization tools ineffective,
  • ii) Design without RESET capability, design without SET capability, design without asynchronous RESET capability,
  • iii) Impact of RAM RESET,
  • iv) Optimization using set/reset pins for logic implementation.
  • 9) Protection of HW against reverse engineering.
Výukové metody
The course consists of theoretical training, laboratory exercises, and solutions independently will project. The topic of the project will be specified in the opening hour of laboratory exercises. It is possible to design your own project topic, which must be approved by the teacher.
Metody hodnocení
- laboratory tasks with the defense - 35 points,
- evaluated home works or final written exam - 35 credits
- oral exam - 30 points,

Passing boundary for ECTS assessment - 51 credits.
Vyučovací jazyk
Angličtina
Informace učitele
The course is split into theoretical and practical parts. The practical part will be done on the hardware and design software in the Laboratory of Architecture and design of digital systems. Study material and all technical documentation and manuals are available in English.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2013, podzim 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019, podzim 2020, podzim 2021, podzim 2023, podzim 2024.