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

Hard Real-Time Stationary GANG-Scheduling

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

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

Autoren: Junjie Shi, Niklas Ueter, Jian-Jia Chen, Kuan-Hsun Chen
Veröffentlicht in: IEEE Symposium on Real-Time and Embedded Technology and Applications (RTAS), 2023
Herausgeber: IEEE
DOI: 10.1109/rtas58335.2023.00008

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

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

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

Autoren: Mario Günzel, Niklas Ueter, Jian-Jia Chen
Veröffentlicht in: IEEE Real-Time Systems Symposium (RTSS), 2021
Herausgeber: IEEE
DOI: 10.1109/rtss52674.2021.00045

Critical instant for probabilistic timing guarantees: Refuted and revisited

Autoren: Kuan-Hsun Chen, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Veröffentlicht in: Real-Time Systems Symposium (RTSS), 2022
Herausgeber: IEEE
DOI: 10.1109/rtss55097.2022.00022

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

Autoren: Ueter, Niklas; G��nzel, Mario; Chen, Jian-Jia
Veröffentlicht in: arXiv, 2021
Herausgeber: arXiv
DOI: 10.1109/rtss52674.2021.00042

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

Autoren: Jian-Jia Chen, Niklas Ueter, Mario Günzel, Georg von der Brüggen, and Tei-Wei Kuo
Veröffentlicht in: 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023, Seite(n) 1-2
Herausgeber: IEEE
DOI: 10.1109/dac56929.2023.10247807

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

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

Segment-Level FP-Scheduling in FreeRTOS

Autoren: Robin Edmaier, Niklas Ueter, Jian-Jia Chen
Veröffentlicht in: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022
Herausgeber: IEEE
DOI: 10.1109/rtcsa55878.2022.00026

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

Autoren: Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen, Jian-Jia Chen
Veröffentlicht in: Real-Time Systems Symposium (RTSS), 2022
Herausgeber: IEEE
DOI: 10.1109/rtss55097.2022.00024

Graph-Based Optimizations for MultiprocessorNested Resource Sharing

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

Timing Analysis of Asynchronized Distributed Cause-Effect Chains

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

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

Autoren: Mario Günzel, Jian-Jia Chen
Veröffentlicht in: IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2023
Herausgeber: IEEE
DOI: 10.1109/rtcsa58653.2023.00038

Unikernel-based Deferrable Server Analysis

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

End-to-end timing analysis in ROS2

Autoren: Harun Teper, Mario Günzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen
Veröffentlicht in: Real-Time Systems Symposium (RTSS), 2022
Herausgeber: IEEE
DOI: 10.1109/rtss55097.2022.00015

Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms

Autoren: Mario Guenzel; Niklas Ueter; Kuan-Hsun Chen; Jian-Jia Chen
Veröffentlicht in: 31st International Conference on Real-Time Networks and Systems (RTNS(, 2023, Seite(n) 224-234
Herausgeber: ACM
DOI: 10.1145/3575757.3593640

Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies

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

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

Autoren: Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen, Jian-Jia Chen
Veröffentlicht in: Euromicro Conference on Real-Time Systems (ECRTS), 2023
Herausgeber: 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

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

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

Autoren: Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen
Veröffentlicht in: Transactions on Computer-Aided Design of Integrated Circuits and Systems, Ausgabe 02780070, 2022, ISSN 0278-0070
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2022.3197501

Compositional Timing Analysis of Asynchronized Distributed Cause-effect Chains

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

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

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

Probabilistic Reaction Time Analysis

Autoren: Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Georg von der Brüggen, and Jian-Jia Chen
Veröffentlicht in: ACM Trans. Embed. Comput. Syst. (Special issue for ESWeek 2023), Ausgabe 5s, 2023, Seite(n) 143:1--143:22, ISSN 1539-9087
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3609390

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

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

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

Autoren: Ueter, Niklas; Günzel, Mario; Chen, Jian-Jia
Veröffentlicht in: Ausgabe 1, 2021
Herausgeber: arXiv

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

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

Parallel Path Progression DAG Scheduling

Autoren: Niklas Ueter, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Veröffentlicht in: arXiv, 2022
Herausgeber: arXiv
DOI: 10.48550/arxiv.2208.11830

Leistungen

Veröffentlichungen

Diese Seite teilen

Herunterladen