Project Details
Projekt
Automated Resilience Verification and Resilience by Design
Subject Area
Communication Technology and Networks, High-Frequency Technology and Photonic Systems, Signal Processing and Machine Learning for Information Technology
Term
since 2022
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 503657103
Automated verification of resilience and trustworthiness as well as resilience by design have been identified as key challenges for the sixth generation (6G) of mobile networks and its variety of envisioned features. In this project, these issues are addressed by developing information and coding theoretic foundations for communication under jamming attacks, particularly for practically relevant channel models. Automated verification is then addressed from a fundamental, algorithmic point of view. For this purpose, the concept of Turing machines is used which provides the fundamental performance limits of today’s digital hardware platforms. Neuromorphic computing has an enormous potential to overcome the limitations of today’s digital hardware and, accordingly, the issues of automated verification of resilience and trustworthiness as well as resilience by design are also studied for such powerful computing models. This is motivated by the considerable progress in the hardware design for neuromorphic computing that has been achieved recently. Finally, design rules and insights for resilience by design are developed. For this, additional coordination resources available at the users within the communication system are considered and it is studied how these can be exploited to robustify the system making inherently resilient directly at the physical layer.
DFG Programme
Priority Programmes
