The Library
PROBLEMS, PROMISES AND PERFORMANCE - SOME QUESTIONS FOR REAL-TIME SYSTEM SPECIFICATION
Tools
UNSPECIFIED (1992) PROBLEMS, PROMISES AND PERFORMANCE - SOME QUESTIONS FOR REAL-TIME SYSTEM SPECIFICATION. In: REX WORKSHOP ON REAL-TIME : THEORY IN PRACTICE, MOOK, NETHERLANDS, JUN 03-07, 1991. Published in: LECTURE NOTES IN COMPUTER SCIENCE, 600 pp. 315-324. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
This paper considers how different views of real-time program specification and verification arise from different assumptions about the representation of time external to the program, the representation of time in the program and the verification of the timing properties on an implementation. Three different views axe compared: real-time programming without time, the synchrony hypothesis and asynchronous real-time programs. Questions about the representation of time are then related to different models of time and their roles at different levels of analysis. The relationship between the development of a program from a specification and its timing characteristics in an implementation is discussed and it is suggested that the formal verification of timing properties can be extended towards the implementation. The need for fault-tolerance in a real-time system is then considered and ways examined of incorporating a formal proof of fault-tolerance along with proof of its timing properties.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Journal or Publication Title: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Publisher: | SPRINGER VERLAG | ||||
ISSN: | 0302-9743 | ||||
Official Date: | 1992 | ||||
Dates: |
|
||||
Volume: | 600 | ||||
Number of Pages: | 10 | ||||
Page Range: | pp. 315-324 | ||||
Publication Status: | Published | ||||
Title of Event: | REX WORKSHOP ON REAL-TIME : THEORY IN PRACTICE | ||||
Location of Event: | MOOK, NETHERLANDS | ||||
Date(s) of Event: | JUN 03-07, 1991 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |