3 papers
cs.CR2026
Exploring and Exploiting Synchrony Limitations of Time-Triggered Network-Agnostic Guardians
Shreya Vithal Kulhalli, Mohammad Ibrahim Alkoudsi, Gerhard Fohler
Time-triggered communication protocols rely on trusted components known as guardians to enforce adherence to predetermined network schedules. Network-agnostic guardians offer an ef…
cs.OS2025
Defending Event-Triggered Systems against Out-of-Envelope Environments
Marcus Völp, Mohammad Ibrahim Alkoudsi, Azin Bayrami Asl +3
The design of real-time systems is based on assumptions about environmental conditions in which they will operate. We call this their safe operational envelope. Violation of these…
cs.RO2024
Safety-Critical Edge Robotics Architecture with Bounded End-to-End Latency
Gautam Gala, Tilmann Unte, Luiz Maia +5
Edge computing processes data near its source, reducing latency and enhancing security compared to traditional cloud computing while providing its benefits. This paper explores edg…