Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems

Hard Real-Time Stationary GANG-Scheduling

Author(s): Niklas Ueter, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Published in: Euromicro Conference on Real-Time Systems (ECRTS), 2021
Publisher: Leibnitz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2021.10

Average Task Execution Time Minimization under (m, k) Soft Error Constraint

Author(s): Junjie Shi, Niklas Ueter, Jian-Jia Chen, Kuan-Hsun Chen
Published in: IEEE Symposium on Real-Time and Embedded Technology and Applications (RTAS), 2023
Publisher: IEEE
DOI: 10.1109/rtas58335.2023.00008

Efficiently Approximating the Worst-Case Deadline Failure Probability under {EDF}

Author(s): Georg von der Bruggen; Nico Piatkowski; Kuan-Hsun Chen; Jian-Jia Chen; Katharina Morik; Bjorn B. Brandenburg
Published in: 42nd Real-Time Systems Symposium (RTSS), 2021
Publisher: IEEE
DOI: 10.1109/rtss52674.2021.00029

Suspension-Aware Fixed-Priority Schedulability Test with Arbitrary Deadlines and Arrival Curves

Author(s): Mario Günzel, Niklas Ueter, Jian-Jia Chen
Published in: IEEE Real-Time Systems Symposium (RTSS), 2021
Publisher: IEEE
DOI: 10.1109/rtss52674.2021.00045

Critical instant for probabilistic timing guarantees: Refuted and revisited

Author(s): Kuan-Hsun Chen, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Published in: Real-Time Systems Symposium (RTSS), 2022
Publisher: IEEE
DOI: 10.1109/rtss55097.2022.00022

Response-Time Analysis and Optimization for Probabilistic Conditional Parallel DAG Tasks

Author(s): Ueter, Niklas; G��nzel, Mario; Chen, Jian-Jia
Published in: arXiv, 2021
Publisher: arXiv
DOI: 10.1109/rtss52674.2021.00042

Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems

Author(s): Jian-Jia Chen, Niklas Ueter, Mario Günzel, Georg von der Brüggen, and Tei-Wei Kuo
Published in: 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023, Page(s) 1-2
Publisher: IEEE
DOI: 10.1109/dac56929.2023.10247807

On the Trade-offs between Generalization and Specialization in Real-Time Systems

Author(s): Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
Published in: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022
Publisher: IEEE
DOI: 10.1109/rtcsa55878.2022.00022

Segment-Level FP-Scheduling in FreeRTOS

Author(s): Robin Edmaier, Niklas Ueter, Jian-Jia Chen
Published in: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022
Publisher: IEEE
DOI: 10.1109/rtcsa55878.2022.00026

EDF-Like Scheduling for Self-Suspending Real-Time Tasks

Author(s): Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen, Jian-Jia Chen
Published in: Real-Time Systems Symposium (RTSS), 2022
Publisher: IEEE
DOI: 10.1109/rtss55097.2022.00024

Graph-Based Optimizations for MultiprocessorNested Resource Sharing

Author(s): Junjie Shi, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen
Published in: International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2021
Publisher: IEEE
DOI: 10.1109/rtcsa52859.2021.00023

Timing Analysis of Asynchronized Distributed Cause-Effect Chains

Author(s): Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen, Marco Dürr
Published in: IEEE Real Time Technology and Applications Symposium (RTAS), 2021
Publisher: IEEE
DOI: 10.1109/rtas52030.2021.00012

Parameter Optimization for EDF-Like Scheduling of Self-Suspending Tasks

Author(s): Mario Günzel, Jian-Jia Chen
Published in: IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2023
Publisher: IEEE
DOI: 10.1109/rtcsa58653.2023.00038

Unikernel-based Deferrable Server Analysis

Author(s): Chen, Kuan-Hsun and Günzel, Mario and Jablkowski, Boguslaw, Buschhoff, Markus Chen, Jian-Jia
Published in: Euromicro Conference on Real-Time Systems (ECRTS), 2022
Publisher: Leibnitz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2022.6

End-to-end timing analysis in ROS2

Author(s): Harun Teper, Mario Günzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen
Published in: Real-Time Systems Symposium (RTSS), 2022
Publisher: IEEE
DOI: 10.1109/rtss55097.2022.00015

Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms

Author(s): Mario Guenzel; Niklas Ueter; Kuan-Hsun Chen; Jian-Jia Chen
Published in: 31st International Conference on Real-Time Networks and Systems (RTNS(, 2023, Page(s) 224-234
Publisher: ACM
DOI: 10.1145/3575757.3593640

Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies

Author(s): Ching-Chi Lin, Mario Günzel, Junjie Shi, Tristan Taylan Seidl, Kuan-Hsun Chen, Jian-Jia Chen
Published in: IEEE Symposium on Real-Time and Embedded Technology and Applications (RTAS), 2023
Publisher: IEEE
DOI: 10.1109/rtas58335.2023.00020

On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains

Author(s): Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen, Jian-Jia Chen
Published in: Euromicro Conference on Real-Time Systems (ECRTS), 2023
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2023.10

Type-aware federated scheduling for typed DAG tasks on heterogeneous multicore platforms

Author(s): Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reinecke, Jian-Jia Chen
Published in: Transactions on Computers (TC), 2023, ISSN 0018-9340
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2022.3202748

Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS

Author(s): Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen
Published in: Transactions on Computer-Aided Design of Integrated Circuits and Systems, Issue 02780070, 2022, ISSN 0278-0070
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2022.3197501

Compositional Timing Analysis of Asynchronized Distributed Cause-effect Chains

Author(s): Mario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr, Jian-Jia Chen
Published in: ACM Transactions on Embedded Computing Systems (TECS), 2023, ISSN 1539-9087
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3587036

HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems

Author(s): Mario Günzel, Christian Hakert, Kuan-Hsun Chen, Jian-Jia Chen
Published in: ACM Transactions on Embedded Computing Systems (TECS), 2021, ISSN 1539-9087
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3477019

Probabilistic Reaction Time Analysis

Author(s): Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Georg von der Brüggen, and Jian-Jia Chen
Published in: ACM Trans. Embed. Comput. Syst. (Special issue for ESWeek 2023), Issue 5s, 2023, Page(s) 143:1--143:22, ISSN 1539-9087
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3609390

On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems

Author(s): Jian-Jia Chen, Wen-Hung Huang, Georg von der Brüggen, Kuan-Hsun Chen, Niklas Ueter
Published in: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, 2021, Page(s) 37-55, ISBN 978-3-030-47486-7
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-47487-4_4

Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization (Artifact)

Author(s): Chen, Kuan-Hsun; Günzel, Mario; Jablkowski, Boguslaw; Buschhoff, Markus; Chen, Jian-Jia
Published in: ECRTS (ARTIFACT Evaluation), 2022
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/darts.8.1.2

Parallel Path Progression DAG Scheduling

Author(s): Niklas Ueter, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Published in: arXiv, 2022
Publisher: arXiv
DOI: 10.48550/arxiv.2208.11830

Deliverables

Publications

Share this page

Download