PROBLEMS, PROMISES AND PERFORMANCE - SOME QUESTIONS FOR REAL-TIME SYSTEM SPECIFICATION
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.Full text not available from this repository.
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|
|Number of Pages:||10|
|Page Range:||pp. 315-324|
|Title of Event:||REX WORKSHOP ON REAL-TIME : THEORY IN PRACTICE|
|Location of Event:||MOOK, NETHERLANDS|
|Date(s) of Event:||JUN 03-07, 1991|
Actions (login required)