Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Semantics of Modechart in real time logic
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Introduction to many-sorted logic
Many-sorted logic and its applications
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
Extensions of first order logic
Extensions of first order logic
Extended RTL in the specification and verification of an industrial press
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Industrial integration of graphical and formal specifications
Journal of Systems and Software - Special issue on formal methods technology transfer
Multicycles and RTL Logic Satisfiability
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Specification and Verification of Real-Time Behaviour Using Z and RTL
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Reasoning about Durations in Metric Temporal Logic
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Towards a Duration Calculus Proof Assistant in PVS
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Analysis of a Real-Time Kernel Specification
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Duration Calculus of Weakly Monotonic Time
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Formal development of a real-time kernel
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Formal Specification of Real-time Systems
Formal Specification of Real-time Systems
| Hi-index | 0.00 |
This paper redefines RTL within classical many-sorted logic with natural number and real arithmetic. In doing so, RTL is generalised in a number of ways. In particular, functionality is handled through the use of timed variables. Various models of time for RTL are discussed, and it is argued that, providing events satisfy a countable occurrence property, time in RTL can be continuous. A number of useful RTL theorems are stated, and it is shown that RTL can naturally express all the usual temporal requirements that are placed on real-time systems. RTL is compared with other timed logics.