Registration is open
Registration for ISORC 2026 is open! (Day registration available) Click here for more information!
Research
Doctoral Symposium
Rigorous Design of Time-Predictable Embedded Systems
Abstract
The majority of embedded systems used in industry require either hard or soft real-time constraints. Meeting these requirements with the current design workflow requires a significant effort in design and verification. In this paper, we propose a tailored methodology for designing, implementing, and analyzing hard real-time systems. Our method is the integration of time-predictable T-CREST hardware platform and Lingua Franca deterministic language and runtime framework. We evaluate our proposed method using the Platin worst-case execution time (WCET) analyzer and demonstrate its correctness.
Authors
- Ehsan Khodadad ehkh@dtu.dk (Technical University of Denmark)
- Luca Pezzarossa lpez@dtu.dk (Technical University of Denmark)
- Martin Schoeberl masca@dtu.dk (Technical University of Denmark)