Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

A temporal approach to requirements specification of real-time systems

Tools
- Tools
+ 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)

[img]
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:
DateEvent
November 1991Completion
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 View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us