The Library
A TEMPORAL APPROACH TO REQUIREMENTS SPECIFICATION OF REAL-TIME SYSTEMS
Tools
Tools
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
Full text not available from this repository.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 |
| Date: | 1991 |
| Volume: | 571 |
| Number of Pages: | 21 |
| Page Range: | pp. 341-361 |
| Publication Status: | Published |
| URI: | http://wrap.warwick.ac.uk/id/eprint/21283 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
