The Library
A TEMPORAL APPROACH TO REQUIREMENTS SPECIFICATION OF REAL-TIME SYSTEMS
Tools
UNSPECIFIED (1991) A TEMPORAL APPROACH TO REQUIREMENTS SPECIFICATION OF REAL-TIME SYSTEMS. LECTURE NOTES IN COMPUTER SCIENCE, 571 . pp. 341-361. 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 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: | Journal Article | ||||
---|---|---|---|---|---|
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: | 1991 | ||||
Dates: |
|
||||
Volume: | 571 | ||||
Number of Pages: | 21 | ||||
Page Range: | pp. 341-361 | ||||
Publication Status: | Published | ||||
Version or Related Resource: | Naik, Y. (1991). A temporal approach to requirements specification of real-time systems. University of Warwick. Department of Computer Science. (Department of Computer Science research report, 201) | ||||
Related URLs: |
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 |