Specification of Real-Time Systems in Real-Time Temporal Interval Logic.
K. T. NarayanaA. A. AabyPublished in: RTSS (1988)
Keyphrases
- real time systems
- real time
- distributed systems
- real time database systems
- reactive systems
- timing constraints
- asynchronous circuits
- embedded systems
- high level
- object oriented programming language
- logic programming
- mission critical
- formal language
- architectural model
- real time embedded
- embedded real time systems
- formal methods
- automatically generated
- open source
- scheduling problem
- database systems
- linear temporal logic