Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Data Management Plan (DMP) (odnośnik otworzy się w nowym oknie)

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.

Publikacje

Hard Real-Time Stationary GANG-Scheduling (odnośnik otworzy się w nowym oknie)

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

Average Task Execution Time Minimization under (m, k) Soft Error Constraint (odnośnik otworzy się w nowym oknie)

Autorzy: Junjie Shi, Niklas Ueter, Jian-Jia Chen, Kuan-Hsun Chen
Opublikowane w: IEEE Symposium on Real-Time and Embedded Technology and Applications (RTAS), 2023
Wydawca: IEEE
DOI: 10.1109/rtas58335.2023.00008

Efficiently Approximating the Worst-Case Deadline Failure Probability under {EDF} (odnośnik otworzy się w nowym oknie)

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

Suspension-Aware Fixed-Priority Schedulability Test with Arbitrary Deadlines and Arrival Curves (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Niklas Ueter, Jian-Jia Chen
Opublikowane w: IEEE Real-Time Systems Symposium (RTSS), 2021
Wydawca: IEEE
DOI: 10.1109/rtss52674.2021.00045

Critical instant for probabilistic timing guarantees: Refuted and revisited (odnośnik otworzy się w nowym oknie)

Autorzy: Kuan-Hsun Chen, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Opublikowane w: Real-Time Systems Symposium (RTSS), 2022
Wydawca: IEEE
DOI: 10.1109/rtss55097.2022.00022

Response-Time Analysis and Optimization for Probabilistic Conditional Parallel DAG Tasks (odnośnik otworzy się w nowym oknie)

Autorzy: Ueter, Niklas; G��nzel, Mario; Chen, Jian-Jia
Opublikowane w: IEEE Real-Time Systems Symposium (RTSS), 2021
Wydawca: IEEE
DOI: 10.1109/rtss52674.2021.00042

Property-Based Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Jian-Jia Chen, Niklas Ueter, Mario Günzel, Georg von der Brüggen, and Tei-Wei Kuo
Opublikowane w: 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023, Strona(/y) 1-2
Wydawca: IEEE
DOI: 10.1109/dac56929.2023.10247807

Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks (odnośnik otworzy się w nowym oknie)

Autorzy: Harun Teper, Oren Bell, Mario Günzel, Chris Gill, Jian-Jia Chen
Opublikowane w: 2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS), 2025, Strona(/y) 177-189
Wydawca: IEEE
DOI: 10.1109/rtas65571.2025.00027

DAG Scheduling with Execution Groups (odnośnik otworzy się w nowym oknie)

Autorzy: Junjie Shi, Mario Günzel, Niklas Ueter, Georg von der Bruggen, Jian-Jia Chen
Opublikowane w: 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024, Strona(/y) 149-160
Wydawca: IEEE
DOI: 10.1109/rtas61025.2024.00020

On the Trade-offs between Generalization and Specialization in Real-Time Systems (odnośnik otworzy się w nowym oknie)

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

A Distribution-Agnostic and Correlation-Aware Analysis of Periodic Tasks (odnośnik otworzy się w nowym oknie)

Autorzy: Filip Marković, Georg von der Brüggen, Mario Günzel, Jian-Jia Chen, Björn B. Brandenburg
Opublikowane w: 2024 IEEE Real-Time Systems Symposium (RTSS), 2025, Strona(/y) 215-228
Wydawca: IEEE
DOI: 10.1109/rtss62706.2024.00027

Sync or Sink? The Robustness of Sensor Fusion Against Temporal Misalignment (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Kuhse, Nils Holscher, Mario Gunzel, Harun Teper, Georg Von Der Bruggen, Jian-Jia Chen, Ching-Chi Lin
Opublikowane w: 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024, Strona(/y) 122-134
Wydawca: IEEE
DOI: 10.1109/rtas61025.2024.00018

Optimizing Electric Vehicle Scheduling with Charging Guarantees using Flow Models with Local Penalties (odnośnik otworzy się w nowym oknie)

Autorzy: Leoni Winschermann, Mario Günzel, Kuan-Hsun Chen, Johann Hurink
Opublikowane w: Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems, 2025, Strona(/y) 305-316
Wydawca: ACM
DOI: 10.1145/3679240.3734593

Segment-Level FP-Scheduling in FreeRTOS (odnośnik otworzy się w nowym oknie)

Autorzy: Robin Edmaier, Niklas Ueter, Jian-Jia Chen
Opublikowane w: IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2022
Wydawca: IEEE
DOI: 10.1109/rtcsa55878.2022.00026

Theoretical Foundations of Utility Accrual for Real-Time Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Jian-Jia Chen, Junjie Shi, Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen, Peter Bella
Opublikowane w: 37th Euromicro Conference on Real-Time System (ECRTS), 2025, Strona(/y) 17:1-17:26
Wydawca: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ecrts.2025.17

EDF-Like Scheduling for Self-Suspending Real-Time Tasks (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Georg von der Brüggen, Kuan-Hsun Chen, Jian-Jia Chen
Opublikowane w: Real-Time Systems Symposium (RTSS), 2022
Wydawca: IEEE
DOI: 10.1109/rtss55097.2022.00024

Optimal Task Phasing for End-To-End Latency in Harmonic and Semi-Harmonic Automotive Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Matthias Becker
Opublikowane w: 2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS), 2025, Strona(/y) 164-176
Wydawca: IEEE
DOI: 10.1109/rtas65571.2025.00026

Graph-Based Optimizations for MultiprocessorNested Resource Sharing (odnośnik otworzy się w nowym oknie)

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

Optimal Priority Assignment for Synchronous Harmonic Tasks with Dynamic Self-Suspension (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Marion Sudvarg, Max Deppert, Ao Li, Ning Zhang, Jian-Jia Chen
Opublikowane w: 2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS), 2025, Strona(/y) 40-53
Wydawca: IEEE
DOI: 10.1109/rtas65571.2025.00010

Timing Analysis of Asynchronized Distributed Cause-Effect Chains (odnośnik otworzy się w nowym oknie)

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

Parameter Optimization for EDF-Like Scheduling of Self-Suspending Tasks (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Jian-Jia Chen
Opublikowane w: IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2023
Wydawca: IEEE
DOI: 10.1109/rtcsa58653.2023.00038

Unikernel-based Deferrable Server Analysis (odnośnik otworzy się w nowym oknie)

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

End-to-end timing analysis in ROS2 (odnośnik otworzy się w nowym oknie)

Autorzy: Harun Teper, Mario Günzel, Niklas Ueter, Georg von der Brüggen, Jian-Jia Chen
Opublikowane w: Real-Time Systems Symposium (RTSS), 2022
Wydawca: IEEE
DOI: 10.1109/rtss55097.2022.00015

End-To-End Timing Analysis and Optimization of Multi-Executor ROS 2 Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Harun Teper, Tobias Betz, Mario Günzel, Dominic Ebner, Georg Von Der Brüggen, Johannes Betz, Jian-Jia Chen
Opublikowane w: 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024, Strona(/y) 212-224
Wydawca: IEEE
DOI: 10.1109/rtas61025.2024.00025

Timing Analysis of Cause-Effect Chains with Heterogeneous Communication Mechanisms (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Guenzel; Niklas Ueter; Kuan-Hsun Chen; Jian-Jia Chen
Opublikowane w: 31st International Conference on Real-Time Networks and Systems (RTNS(, 2023, Strona(/y) 224-234
Wydawca: ACM
DOI: 10.1145/3575757.3593640

Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies (odnośnik otworzy się w nowym oknie)

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

On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains (odnośnik otworzy się w nowym oknie)

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

Tighter Worst-Case Response Time Bounds for Jitter-Based Self-Suspension Analysis (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Opublikowane w: 36th Euromicro Conference on Real-Time Systems (ECRTS), 2024, Strona(/y) 4:1 - 4:24
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecrts.2024.4

Type-aware federated scheduling for typed DAG tasks on heterogeneous multicore platforms (odnośnik otworzy się w nowym oknie)

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

End-To-End Latency of Cause-Effect Chains: A Tutorial (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Harun Teper, Georg von der Brüggen, Jian-Jia Chen
Opublikowane w: ACM Transactions on Embedded Computing Systems, Numer 24, 2025, Strona(/y) 1-18, ISSN 1539-9087
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3703630

Thread Carefully: Preventing Starvation in the ROS 2 Multithreaded Executor (odnośnik otworzy się w nowym oknie)

Autorzy: Harun Teper, Daniel Kuhse, Mario Günzel, Georg von der Brüggen, Falk Howar, Jian-Jia Chen
Opublikowane w: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Numer 43, 2024, Strona(/y) 3588-3599, ISSN 0278-0070
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2024.3446865

Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS (odnośnik otworzy się w nowym oknie)

Autorzy: Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen
Opublikowane w: Transactions on Computer-Aided Design of Integrated Circuits and Systems, Numer 02780070, 2022, ISSN 0278-0070
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2022.3197501

Compositional Timing Analysis of Asynchronized Distributed Cause-effect Chains (odnośnik otworzy się w nowym oknie)

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

HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems (odnośnik otworzy się w nowym oknie)

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

Parallel Path Progression DAG Scheduling (odnośnik otworzy się w nowym oknie)

Autorzy: Niklas Ueter, Mario Günzel, Georg von der Brüggen, Jian-Jia Chen
Opublikowane w: Transactions on Computers, 2023, ISSN 0018-9340
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2023.3280137

Probabilistic Reaction Time Analysis (odnośnik otworzy się w nowym oknie)

Autorzy: Mario Günzel, Niklas Ueter, Kuan-Hsun Chen, Georg von der Brüggen, and Jian-Jia Chen
Opublikowane w: ACM Trans. Embed. Comput. Syst. (Special issue for ESWeek 2023), Numer 5s, 2023, Strona(/y) 143:1--143:22, ISSN 1539-9087
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3609390

On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems (odnośnik otworzy się w nowym oknie)

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

Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization (Artifact) (odnośnik otworzy się w nowym oknie)

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

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0