Design, programming and verification of embedded systems
Program
Studentská grantová soutěž ČVUT
Investigators
Code
SGS20/211/OHK3/3T/18
Period
2020 - 2022
Description
The project deals with the digital design focused on embedded systems. It will cover the study of the latest trends in technologies and their use in mission-critical applications. The design of such systems must take into account not only functionality but also other constraints; they must meet the required levels of reliability, security, attack resistance, size, power consumption, and real-time guarantees. Therefore, we will use new methods, algorithms and design tools (EDA tools) to find, design and modify suitable models that will allow to test, predict and formally verify the required functions and behavior of the system.