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

Deliverables

Open Research Data Pilot (1)

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

Book chapters (1)

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

Other (1)

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