1

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
Immediate Split Trees: Immediate Encoding of Floating Point Split Values in Random Forests
Random forests and decision trees are increasingly interesting candidates for resource-constrained machine learning models. In order to …
Christian Hakert, Kuan-Hsun Chen, Jian-Jia Chen
LLVMTA: An LLVM-Based WCET Analysis Tool
We present llvmta, an academic WCET analysis tool based on the LLVM compiler infrastructure. It aims to enable the evaluation of novel …
Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
DOI
Unikernel-Based Real-Time Virtualization under Deferrable Servers: Analysis and Realization
For cyber-physical systems, real-time virtualization optimizes the hardware utilization by consolidating multiple systems into the same …
Kuan-Hsun Chen, Mario Günzel, Boguslaw Jablkowski, Markus Buschhoff, Jian-Jia Chen
Cite DOI
This is SPATEM! A Spatial-Temporal Optimization Framework for Efficient Inference on ReRAM-based CNN Accelerator
Resistive memory-based computing-in-memory (CIM) has been considered as a promising solution to accelerate convolutional neural …
Yen-Ting Tsou, Kuan-Hsun Chen, Chia-Lin Yang, Hsiang-Yun Cheng, Jian-Jia Chen, Der-Yu Tsai
DOI
Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF
Probabilistic timing guarantees enable a tradeoff between system safety and hardware costs in embedded real-time systems. A key metric …
Georg Von Der Brüggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, Katharina Morik, Björn Brandenburg
DOI