Timing Tolerances in Safety-Critical Software

by A. Wassyng, M. Lawford and X. Hu

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.

Download

FME05.pdf (342k, PDF)

BibTeX Entry

@inproceedings{Wassyng05,
title        = { Timing Tolerances in Safety-Critical Software },
author       = { A. Wassyng and M. Lawford and X. Hu },
booktitle    = { FM 2005: Formal Methods: International Symposium of Formal Methods Europe Proceedings },
series       = { LNCS },
pages        = { 157 - 172 },
volume       = { 3582 },
address      = { Newcastle, UK },
month        =   jul,
year         = { 2005 },
editor       = { J. Fitzgerald and I.J. Hayes and A. Tarlecki },
publisher    = { Springer-Verlag }
}