SN

Saranya Natarajan

1 records found

From code to weakly hard constraints

A pragmatic end-to-end toolchain for timed C

Complex real-time systems are traditionally developed in several disjoint steps: (i) decomposition of applications into sets of recurrent tasks, (ii) worst-case execution time estimation, and (iii) schedulability analysis. Each step is already in itself complex and error-prone, a ...