[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- P Bellini & R Mattolini & P Nesi
- Temporal Logics for Real-time system specification
- ACM Computing Surveys V32n1(Mar 2000) pp12-42
- =SURVEY LOGIC TIMING RTL RTIL RTTL
- WWW link to ACM Digital Library:
[ p12-bellini ]
- From Abstract:
- The specification of reactive and real-time systems must be supported by
formal, mathematically-founded methods in order to be satisfactory and
reliable. Temporal logics have been used to this end for several years.
Temporal logics allow the specification of system behavior in terms of
logical formulas, including temporal constraints, events, and the
relationships between the two. In the last ten years, temporal logics have
reached a high degree of expressiveness. Most of the temporal logics
proposed in the last few years can be used for specifying reactive systems,
although not all are suitable for specifying real-time systems. In this
paper we present a series of criteria for assessing the capabilities of
temporal logics for the specification, validation, and verification of
real-time systems. Among the criteria are the logic's expressiveness, the
logic's order, presence of a metric for time, the type of temporal
operators, the fundamental time entity, and the structure of time. We
examine a selection of temporal logics proposed in the literature. To make
the comparison clearer, a set of typical specifications is identified and
used with most of the temporal logics considered, thus presenting the reader
with a number of real examples.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]