A logical approach for specification and execution of concurrent real-time systems.
Rafael RamírezPublished in: RTCSA (1997)
Keyphrases
- real time systems
- timing constraints
- concurrent execution
- reactive systems
- real time
- hybrid automata
- distributed systems
- embedded systems
- control flow
- high level
- real time database systems
- concurrent processes
- code generation
- active rules
- architectural model
- mission critical
- embedded devices
- active databases
- real time embedded
- source code
- low cost