2

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
Compositional Timing Analysis of Asynchronized Distributed Cause-Effect Chains
Real-time systems require the formal guarantee of timing constraints, not only for the individual tasks but also for the end-to-end …
Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg Von Der Brüggen, Marco Dürr, Jian-Jia Chen
DOI
Memory Carousel: LLVM-Based Bitwise Wear-Leveling for Non-Volatile Main Memory
Emerging non-volatile memory yields, alongside many advantages, technical shortcomings, such as reduced cell lifetime. Although many …
Nils Hölscher, Christian Hakert, Hassan Nassar, Kuan-Hsun Chen, Lars Bauer, Jian-Jia Chen, Jörg Henkel
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
Racetrack Memory Optimized Linear Layout and Efficient Decomposition of Decision Trees
Modern low power distributed systems tend to integrate machine learning algorithms. In resource-constrained setups, the execution of …
Christian Hakert, Asif-Ali Khan, Kuan-Hsun Chen, Fazal Hameed, Jeronimo Castrillon, Jian-Jia Chen
DOI
Software-Managed Read and Write Wear-Leveling for Non-Volatile Main Memory
In-memory wear-leveling has become an important research field for emerging non-volatile main memories over the past years. Many …
Christian Hakert, Kuan-Hsun Chen, Horst Schirmeier, Lars Bauer, Paul R. Genssler, Georg von der Brueggen, Hussam Amrouch, Joerg Henkel, Jian-Jia Chen
Cite DOI
Efficient Realization of Decision Trees for Real-Time Inference
For timing-sensitive edge applications, the demand for efficient lightweight machine learning solutions has increased recently. Tree …
Kuan-Hsun Chen, ChiaHui Su, Christian Hakert, Sebastian Buschjäger, Chao-Lin Lee, Jenq-Kuen Lee, Katharina Morik, Jian-Jia Chen
Cite DOI
HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems

Dynamic power management (DPM) reduces the power consumption of a computing system when it idles, by switching the system into a low …

Mario Günzel, Christian Hakert, Kuan-Hsun Chen, Jian-Jia Chen
DOI
FeFET-based Binarized Neural Networks Under Temperature-dependent Bit Errors
Ferroelectric FET (FeFET) is a highly promising emerging non-volatile memory (NVM) technology, especially for binarized neural network …
Mikail Yayla, Sebastian Buschjäger, Aniket Gupta, Jian-Jia Chen, Jörg Henkel, Katharina Morik, Kuan-Hsun Chen, Hussam Amrouch
DOI
MODES: model-based optimization on distributed embedded systems
The predictive performance of a machine learning model highly depends on the corresponding hyper-parameter setting. Hence, …
Junjie Shi, Jiang Bian, Jakob Richter, Kuan-Hsun Chen, Jörg Rahnenführer, Haoyi Xiong, Jian-Jia Chen
DOI