Timing Tolerances in Safety-Critical Software

Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour that includes precise definitions as well as analysis of how functional timing requirements interact with performance timing requirements, and how these concepts can be used by software designers. The definitions and analysis presented explicitly deal with tolerances in all timing durations. Preliminary work indicates that some requirements may be met at significantly reduced CPU bandwidth through reduced variation in cycle time.

• Type: Conference
• Year: 2005
• Where: FM
• Authors: Alan Wassyng, Mark Lawford, Xiayong Hu
• Keywords: FM 2005, Functional Timing Requirements, Stringent Timing Requirements, Timing Requirements