2

Introduction to the Special Issue on Fault-Resilient Cyber-Physical Systems—Part 2
This special issue offers substantial contributions in several fields, with the goal of improving their resilience against faults. To …
Kuan-Hsun Chen, Jing Li, Federico Reghenzani, Jian-Jia Chen
DOI
TreeHouse: An MLIR-based Compilation Flow for Real-Time Tree-based Inference
Tree-based ensembles stand as the prominent resource-efficient approaches for real-time inference. To optimize their performance, …
ChiaHui Su, Chia-Hua Ku, Jenq-Kuen Lee, Kuan-Hsun Chen
DOI
Introduction to Special Issue on In/Near Memory and Storage Computing for Embedded Systems

With the rapid advances in manufacturing and communication technologies, embedded systems have evolved tremendously in recent years. …

Liang Shi, Jingtong Shi, Hussam Amrouch, Kuan-Hsun Chen, Mengying Zhao, Weichen Liu
DOI
Introduction to the Special Issue on Fault-Resilient Cyber-Physical Systems – Part I

Cyber-Physical Systems (CPS) are increasingly pervasive in modern society due to their growing use in many complex applications of our …

Kuan-Hsun Chen, Jing Li, Federico Reghenzani, Jian-Jia Chen
DOI
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