Reply to Comments on "An Interval Logic for Real-Time System Specification'
IEEE Transactions on Software Engineering
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Validating Component Integration with C-TILCO
Electronic Notes in Theoretical Computer Science (ENTCS)
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
Temporal logics are able to describe temporal constraintsamongst events and actions, as invariance, precedence,periodicity, repeated occurrences, liveness andsafety conditions. They are typically used to verify propertiesin the requirements analysis, in order to describe highlevel system behaviour and for test case generation. In somecases, temporal logics are used for the specification of realtime systems and for their execution. In this paper, a modeland algorithm to execute specifications in TILCO first ordertemporal logic are presented. To this end, the TILCO specificationsare translated into a model which can be directlyexecuted by a specific inferential engine. An example is alsopresented.Index terms: formal specification language, first orderlogic, temporal interval logic, real-time systems, temporaloperators.