You are here: RTS-Portal>>Projects>>National Projects

ByzRT - Intrusion resilient real-time communication and computation in autonomous systems


Category:National Projects
Status:Active
Coordinator:
Time Period:2020 -
Persons:Gerhard Fohler, Kristin Kr├╝ger
Institutes:

Description:

Complex autonomous real-time and embedded systems (RTES), e.g. self-driving cars, will increasingly operate unattended over extended periods of time. The limitations of continuous supervision given their real-time nature, and the threat vectors originating from combined cyber and physical attacks, make these systems vulnerable and call for improved protection, such as tolerance to intrusions, in particular in face of time-domain attacks, to achieve safety and security in such critical systems.

In this project, we investigate the interplay of intrusion tolerance techniques, such as Byzantine fault-tolerant consensus (BFT), and real-time communication and processing paradigms, e.g. event- and time-triggered abstractions. To date, the examples of research in this area are confined to very specialised and constrained RTES (e.g. flight control), thus not generalizable, and providing limited safety-security balance. Hence the hardness of the problem of reconciling security paradigms, of asynchronous (non-timed) nature, with real-time paradigms, of non-secure nature, to achieve secure and timely operation and
cooperation of autonomous systems, over general networks.

ByzRT will bridge this gap, by investigating on two essential fronts:
- devising innovative BFT algorithms exhibiting real-time capability for
single- and inter-RTES operation; and
- extending formal methods for proving such protocols correct, by
incorporating notions of time.

If successful, ByzRT will significantly contribute to the design of safer and more secure critical cyber-physical systems.

 

 
 
 

Upcoming Events
Currently no events
Latest News:
20.07.20 16:37
Our paper titled "Enabling Fog-based Industrial Robotics Systems" by Mohammed Shaik,...


17.07.20 12:25
Our paper titled "Distributed Decision-making for Safe and Secure Global Resource Management...


09.04.20 16:47
Dear students, things will run differently this semester, we are figuring out how we can...


All News