The Library
A temporal approach to requirements specification of real-time systems
Tools
Naik, Yogesh (1991) A temporal approach to requirements specification of real-time systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-201.pdf - Other - Requires a PDF viewer. Download (8Mb) | Preview |
Abstract
This paper describes a specification notation of temporal logic to describe the requirements of real-time systems. The notation is extended by a calculus of occurrences of predicates. Using the logic and the calculus we show that common real-time properties such as durations, number of occurrences, precedence and other properties can be described. It is then used to describe the IEEE 802 Token Bus specification.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Interactive computer systems | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | November 1991 | ||||
Dates: |
|
||||
Number: | Number 201 | ||||
Number of Pages: | 24 | ||||
DOI: | CS-RR-201 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Re-use Statement: | Y. Naik, “A Temporal Approach to Requirements Specification of Real-Time Systems”, <i>Formal Techniques in Real-time and Fault-tolerant Systems</i>, Lecture Notes in Computer Science 571, ed. J. Vytopil, Springer-Verlag, pp. 341-361 (1991); 2nd International Symposium, Nijmegen, the Netherlands, January 8-10, 1992 | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |