Confidence in Timing

Abstract

All contemporary safety standards require to demonstrate the absence of functional and non-functional safety hazards. In real-time systems this includes demonstrating the absence of critical timing hazards. To meet this verification objective it is necessary to show the correctness of the timing behavior with adequate confidence. Adequate confidence means… (More)

Topics

1 Figure or Table