@inproceedings{88312aae16a3456a82b96b458af9476a,
title = "Towards Formal Co-validation of Hardware and Software Timing Models of CPSs",
abstract = "Timing analysis of safety-critical systems derives timing bounds of applications, or software (SW), executed on dedicated platforms, or hardware (HW). The ensemble HW–SW features, from a timing perspective, two different types of computation – a SW-specific, instruction-driven timing progression and a HW-specific, cycle-driven one. The two timings are unified under a concept of timing model, which is crucial to establish a sound and precise worst-case timing reasoning. In this paper, we propose an investigation on how to systematically derive and formally prove such timing models. Our approach is exemplified on a simple, accumulator-based processor called Lipsi.",
keywords = "Timing analysis, Timing model, Formal semantics, Chisel, HW/SW co-validation",
author = "Mihail Asavoae and Imane Haur and Mathieu Jan and {Ben Hedia}, Belgacem and Martin Schoeberl",
year = "2020",
month = jan,
day = "1",
doi = "10.1007/978-3-030-41131-2_10",
language = "English",
isbn = "978-3-030-41130-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "203--227",
editor = "Roger Chamberlain and {Edin Grimheden}, Martin and Walid Taha",
booktitle = "Cyber Physical Systems. Model-Based Design",
note = "9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019 ; Conference date: 17-10-2019 Through 18-10-2019",
}