Accession Number : ADA325549
Title : Sooner Is Safer Than Later,
Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Personal Author(s) : Henzinger, Thomas A.
PDF Url : ADA325549
Report Date : 28 MAY 1991
Pagination or Media Count : 13
Abstract : It has been repeatedly observed that the standard safety-liveness classification of properties of reactive systems does not fit for real time properties. This is because the implicit 'liveness' of time shifts the spectrum towards the safety side. While, for example, response - that 'something good' will happen, eventually - is a classical liveness property, bounded response - that 'something good' will happen soon, within a certain amount of time - has many characteristics of safety. We account for this phenomenon formally by defining safety and liveness relative to a given condition, such as the progress of time.
Descriptors : *REAL TIME, *COMPUTER PROGRAM RELIABILITY, TIME, RESPONSE, SAFETY.
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE