Embedded System Software
- real-time systems
- worst-case execution time (WCET)
- worst-case energy consumption (WCEC)
- carbon-aware embedded systems
- energy-aware scheduling
Projects:
Term: since 1. November 2022
Funding source: Deutsche Forschungsgemeinschaft (DFG)
Project leader:
Funding source: Deutsche Forschungsgemeinschaft (DFG)
Project leader:
Energy-constrained real-time systems, such as implantable medical devices, are prevalent in modern life. These systems demand its software to fulfill both properties of safe and energy-efficient task executions. Regarding safety, these systems must execute their tasks within execution-time and energy bounds since resource-budget violations potentially cause danger to life. In order to guarantee the system's safe execution with the given time and energy resources, static program-code analysis tools…
Term: since 26. March 2021
Funding source: Deutsche Forschungsgemeinschaft (DFG)
Project leader: ,
Funding source: Deutsche Forschungsgemeinschaft (DFG)
Project leader: ,
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…
Contact Persons:
Participating Scientists:
Publications:
- , :
Crêpe: Clock Reconfigurability for Preemption Control (Artifact)
In: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (ed.): Dagstuhl Artifacts Series, 2024 (Dagstuhl Artifacts Series, Vol.10)
DOI: 10.4230/DARTS.10.1.2
URL: https://drops.dagstuhl.de/storage/05darts/darts-vol010/darts-vol010-issue001_ecrts2024/DARTS.10.1.2/DARTS.10.1.2.pdf - , :
Crêpe: Clock-Reconfiguration–Aware Preemption Control in Real-Time Systems with Devices
36th Euromicro Conference on Real-Time Systems (Lille, France, 9. July 2024 - 12. July 2024)
In: Proceedings of the 36th Euromicro Conference on Real-Time Systems (ECRTS 2024) 2024
DOI: 10.4230/LIPIcs.ECRTS.2024.10
URL: https://drops.dagstuhl.de/storage/00lipics/lipics-vol298-ecrts2024/LIPIcs.ECRTS.2024.10/LIPIcs.ECRTS.2024.10.pdf - , , , :
FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems
35th Euromicro Conference on Real-Time Systems (ECRTS '23) (Vienna, Austria)
In: Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS '23) 2023
DOI: 10.4230/LIPIcs.ECRTS.2023.6 - , , , :
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact)
In: Dagstuhl Artifacts Series, 2023, p. 2:1--2:3 (Dagstuhl Artifacts Series, Vol.9)
DOI: 10.4230/DARTS.9.1.2
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18023/pdf/DARTS-9-1-2.pdf - , , , , , :
Worst-Case Energy Consumption Analysis for Energy-Constrained Embedded Systems
Euromicro Conference on Real-Time Systems (Lund, Sweden)
In: Proceedings of the 27th Euromicro Conference on Real-Time Systems (ECRTS '15) 2015
DOI: 10.1109/ECRTS.2015.17
URL: https://www4.cs.fau.de/Publications/2015/waegemann_15_ecrts.pdf - , , , , , , :
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 - , , :
CO2CoDe: Towards Carbon-Aware Hardware/Software Co-Design for Intermittently-Powered Embedded Systems
HotCarbon Workshop on Sustainable Computer Systems (Santa Cruz, CA, 9. July 2024 - 9. July 2024)
In: Proceedings of the HotCarbon Workshop on Sustainable Computer Systems (HotCarbon '24) 2024
URL: https://sys.cs.fau.de/publications/2024/raffeck_24_hotcarbon.pdf - , , , , , , , , , , , , :
The Platin Multi-Target Worst-Case Analysis Tool
22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) (Lille, France, 9. July 2024 - 9. July 2024)
In: Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis (WCET 2024) 2024
DOI: 10.4230/OASIcs.WCET.2024.2
URL: https://drops.dagstuhl.de/storage/01oasics/oasics-vol121-wcet2024/OASIcs.WCET.2024.2/OASIcs.WCET.2024.2.pdf - , , :
TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded Systems
30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2024) (Hong Kong, China, 13. May 2024 - 16. May 2024)
In: Proceedings of the 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2024) 2024
DOI: 10.1109/RTAS61025.2024.00026
URL: https://sys.cs.fau.de/publications/2024/boehm_24_rtas.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 - , , , , :
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 - , , :
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 - , :
Ecology-Aware Material Use as a Pervasive Trait in Intermittent Real-Time Systems
35th Euromicro Conference on Real-Time Systems, Real-Time Pitches session (Vienna, Austria, 11. July 2023 - 14. May 2023)
Open Access: https://sys.cs.fau.de/publications/2023/raffeck_23_ecrts-poster.pdf
URL: https://sys.cs.fau.de/publications/2023/raffeck_23_ecrts-poster.pdf - , , :
Luci: Loader-based Dynamic Software Updates for Off-the-shelf Shared Objects
2023 USENIX Annual Technical Conference (Boston, MA, 10. July 2023 - 12. July 2023)
In: 2023 USENIX Annual Technical Conference (USENIX ATC 23) 2023
Open Access: https://www.usenix.org/system/files/atc23-heinloth.pdf
URL: https://www.usenix.org/system/files/atc23-heinloth.pdf - , , , :
Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions
22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2021 (Virtual, Online, CAN, 22. June 2021)
In: Jorg Henkel, Xu Liu (ed.): Proceedings of the 22nd SIGPLAN/SIGBED International Conference on Languages,Compilers, and Tools for Embedded Systems (LCTES '21), New York, NY, USA: 2021
DOI: 10.1145/3461648.3463847
URL: https://www4.cs.fau.de/Publications/2021/schuster_21_lctes.pdf - , , , , , :
Taming Non-Deterministic Low-Level I/O: Predictable Multi-Core Real-Time Systems by SoC Co-Design
2021 IEEE 24th International Symposium on Real-Time Distributed Computing (ISORC)
DOI: 10.1109/isorc52013.2021.00017
URL: https://www4.cs.fau.de/Publications/2021/vaas_21_isorc.pdf