Timing tolerances in safety-critical software

Authors:
Alan Wassyng;Mark Lawford;Xiayong Hu
Affiliations:
Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Hamilton, Canada;Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Hamilton, Canada;Software Quality Research Laboratory, Department of Computing and Software, McMaster University, Hamilton, Canada
Venue:
FM'05 Proceedings of the 2005 international conference on Formal Methods
Year:
2005

Citing 4
Cited 1

An old-fashioned recipe for real time

ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional documents for computer systems

Science of Computer Programming
On a formal semantics of tabular expressions

Science of Computer Programming
Verification of Real-Time Systems Using PVS

CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification

Research Directions in Requirements Engineering

FOSE '07 2007 Future of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.