Skip to main content

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


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.

Searching for OpenAIRE data...


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

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

Author(s): Ueter, Niklas; Günzel, Mario; Chen, Jian-Jia
Published in: 1, 2021
Publisher: arXiv