WCET and CI: Adding Timing Analysis to Embedded Software Pipelines (Using RocqStat/VectorCAST)
Embed WCET and timing checks into CI to avoid late-stage timing regressions—practical VectorCAST + RocqStat patterns and CI examples for safety-critical projects.