Skip to main content

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

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.

Searching for OpenAIRE data...

Publications

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
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: Issue 1, 2021