1

Probabilistic Reaction Time Analysis

In many embedded systems, for instance, in the automotive, avionic, or robotics domain, critical functionalities are implemented via …

Mario Günzel, Niklas Ueter, Georg Chen, Kuan-Hsun von der Brüggen, Jian-Jia Chen
DOI
On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains
Real-time systems require a formal guarantee of timing-constraints, not only for individual tasks but also for data-propagation. The …
Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Jian-Jia Chen
DOI
Rapid NVM Simulation and Analysis on Single Bit Granularity Featuring Gem5 and NVMain
In emerging computing systems, non-volatile memory (NVM) is becoming an alternative to conventional main memory technologies such as …
Nils Hölscher, Minh Duy Truong, Christian Hakert, Tristan Seidl, Kuan-Hsun Chen, Jian-Jia Chen
Timing-Aware ROS2 Architecture and System Optimization
ROS2 is a set of software libraries for developing robot applications, such as autonomous driving systems, that consist of multiple …
Harun Teper, Tobias Betz, Georg Von Der Brüggen, Kuan-Hsun Chen, Johannes Betz, Jian-Jia Chen
Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms

Software applications in automotive systems are comprised of communicating real-time tasks, described by cause-effect chains. To …

Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Jian-Jia Chen
DOI
Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies

Timing guarantee is an important aspect and must be ensured for every individual task in real-time systems. Even for periodic tasks, …

Ching-Chi Lin, Mario Günzel, Junjie Shi, Tristan Taylan Seidl, Kuan-Hsun Chen, Jian-Jia Chen
Average Task Execution Time Minimization under (m,k) Soft-Error Constraint

Safety-critical systems are often subjected to transient faults. Since these transient faults may lead to soft errors that cause …

Junjie Shi, Niklas Ueter, Jian-Jia Chen, Kuan-Hsun Chen
Critical Instant for Probabilistic Timing Guarantees: Refuted and Revisited
In soft real-time systems, tasks may occasionally miss their deadlines. This possibility has triggered research on probabilistic timing …
Kuan-Hsun Chen, Mario Günzel, Georg Von Der Brüggen, and Jian-Jia Chen
DOI
Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
To avoid race conditions and ensure data integrity, resource synchronization protocols have been widely studied in real-time systems …
Junjie Shi, Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen
DOI
EDF-Like Scheduling for Self-Suspending Real-Time Tasks
In real-time systems, schedulability analyses provide the required timing guarantees. However, current suspension-aware analyses are …
Mario Günzel, Georg Von Der Brüggen, Kuan-Hsun Chen, and Jian-Jia Chen