Proposal of hybrid verification method in asynchronous real-time software including timing constraints specification.
Satoshi YamanePublished in: Systems and Computers in Japan (1996)
Keyphrases
- timing constraints
- real time systems
- verification method
- real time
- real time database systems
- real time databases
- embedded devices
- model checking
- execution model
- embedded systems
- active databases
- concurrency control
- distributed systems
- temporal logic
- software development
- resource constraints
- software architecture
- transaction processing
- database
- security requirements
- low cost
- distributed database systems
- temporal constraints
- software systems
- databases