ResPECT
Resilient Power-Constrained Embedded Communication Terminals
(Third Party Funds Group – Sub project)
Overall project: SPP 2378 Resilient Worlds
Project leader: ,
Project members: , ,
Start date: 26. March 2021
Acronym: SPP 2378 ResPECT
Funding source: Deutsche Forschungsgemeinschaft (DFG)
Abstract:
Within the wide subject of resilience in networked worlds ResPECT focuses on a core element of all networked systems: sensor- and actuator-nodes in cyber-physical systems. Communication up to today is understood and implemented as an auxiliary functionality of embedded systems. The system itself is disruption-tolerant and able to handle power failures or in a limited scope even hardware problems, but the communication isn't part of the overall design. In the best case it can make use of the underlying system resilience. ResPECT develops a holistic operating system and communication protocol stack, assuming that conveying information (the receipt of control data for actuators or the sending of sensor data) is a core task of all networked components. Consequently it must become a part of the operating system's management functionality. ResPECT builds on two pillars: Non-volatile memory and transactional operation. Non- volatile memory in recent years has evolved towards a serious element of the storage hierarchy. Even embedded platforms with exclusively non-volatile memory become conceivable. Network communication, other than social communication, is transactional in its design: Data is collected and under channel constraints like latency, error-resilience and energy consumption and content constraints like age and therewith value of information is transmitted between the communication partners. Other than for operating systems this communication, however, faces many external disruptions and impacts. In addition, the duration of a disruption can have severe implications on the validity of already completed transactions like the persistence of the physical connection. Hence on resumption all this has to be considered. ResPECT consequently will - by interdisciplinary research of operating system and communication experts - develop a model based on transactions and will apply non-volatile memory to ensure, that states during the flow of transactions are known at any point in time and can and will be stored persistently. This monitoring and storing functionality must be very efficient (with respect to the energy consumption as well as to the amount of data to be stored in non-volatile memory) and hence be implemented as a core functionality of the operating system. To ensure generalizability and to have the model available for a variety of future platforms, ResPECT will focus on IP-networks and use communication networks which typically are operated as WAN, LAN or PAN (wide, local or personal area networks).
Publications:
WIP: Towards a Transactional Network Stack for Power-Failure Resilience
In: Proceedings of the 21st IEEE Consumer Communications & Networking Conference (CCNC) - Work-In-Progress 2024
DOI: CCNC51664.2024.10454781
URL: https://ieeexplore.ieee.org/document/10454781 , , , , :
Towards Just-In-Time Compiling of Operating Systems
12th Workshop on Programming Languages and Operating Systems (PLOS 2023)
DOI: 10.1145/3623759.3624551 , , , :
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024) (Copenhagen, Denmark, 24. June 2024 - 28. June 2024)
In: Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2024) 2024
URL: https://sys.cs.fau.de/publications/2024/raffeck_24_lctes.pdf , , :
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
RAID'24: The 27th International Symposium on Research in Attacks, Intrusions and Defenses (Padua, 30. September 2024 - 2. October 2024)
In: Proceedings of the 27th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2024
DOI: 10.1145/3678890.3678907
URL: https://arxiv.org/pdf/2405.00078 , , , , , :
PfIP: A UDP/IP Transactional Network Stack for Power-Failure Resilience in Embedded Systems
22nd IEEE Consumer Communications & Networking Conference (CCNC) (Las Vegas, NV, USA, 10. January 2025 - 13. January 2025)
In: Proceedings of the Consumer Communications & Networking Conference (CCNC 2025) 2025 , , , , , , :