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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (DMP)

data management plan The publications of the project will be gold open access whenever possible. Alternatively, the results will be also published in arXiv. The research data will be published in Zenodo. Moreover, the planned monograph will be published with open access.

Publications

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

Searching for OpenAIRE data...

Deliverables

Publications

Share this page

Download