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