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)

Preview

PDF (Department of Computer Science Research Report) WRAP_cs-rr-201.pdf - Other - Requires a PDF viewer. Download (8Mb) | Preview

Request Changes to record.

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 > 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:	Date Event November 1991 Completion
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
Publisher Statement:	Y.&nbsp;Naik, &ldquo;A Temporal Approach to Requirements Specification of Real-Time Systems&rdquo;, <i>Formal Techniques in Real-time and Fault-tolerant Systems</i>, Lecture Notes in Computer Science 571, ed.&nbsp;J.&nbsp;Vytopil, Springer-Verlag, pp.&nbsp;341-361 (1991); 2nd International Symposium, Nijmegen, the Netherlands, January 8-10, 1992
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads