Eingebettete Systemsoftware
- Echtzeitsysteme
- Worst-Case Execution Time (WCET)
- Worst-Case Energy Consumption (WCEC)
- CO2-gewahre eingebettete Systeme
- energiegewahre Ablaufplanung
Projekte:
Energiebeschränkte Echtzeitsysteme, wie beispielsweise implantierbare Medizingeräte, sind heutzutage allgegenwärtig. Diese Systeme erfordern von ihrer Software die Erfüllung der beiden Eigenschaften von sicherer und zugleich energieeffizienter Ausführung von Aufgaben der Software. In Hinblick auf funktionale Sicherheit müssen diese Systeme ihre Aufgaben innerhalb von Laufzeit- und Energieschranken ausführen, da das Überschreiten von Terminen und Energiebudgets zu lebensgefährlichen Konsequenzen führen k…
Innerhalb des sehr weiten Feldes der Resilienz vernetzter Welten konzentriert sich ResPECT auf einen Kernbaustein aller vernetzten Systeme: Sensor- oder Aktor-Knoten in cyber-physischen Systemen. Bis heute wird die Kommunikation als Zusatzfunktionalität eingebetteter Systeme verstanden. Das System an sich wird Störungs-tolerant ausgelegt und kann mit Stromausfällen umgehen oder sogar Hardwareprobleme in gewissem Maße kompensieren. Die Kommunikation jedoch wird in die Konzeption nicht einbezogen, son…
Kontaktpersonen:
Beteiligte Wissenschaftler:
Publikationen:
Crêpe: Clock Reconfigurability for Preemption Control (Artifact)
In: Schloss Dagstuhl - Leibniz-Zentrum für Informatik (Hrsg.): Dagstuhl Artifacts Series, 2024 (Dagstuhl Artifacts Series, Bd.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. Juli 2024 - 12. Juli 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, S. 2:1--2:3 (Dagstuhl Artifacts Series, Bd.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. Januar 2025 - 13. Januar 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. Juli 2024 - 9. Juli 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. Juli 2024 - 9. Juli 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. Mai 2024 - 16. Mai 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. Oktober 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. Juni 2024 - 28. Juni 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. Juli 2023 - 14. Mai 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. Juli 2023 - 12. Juli 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. Juni 2021)
In: Jorg Henkel, Xu Liu (Hrsg.): 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 , , , , , :