Validating EAST-ADL Timing Constraints Using UPPAAL.
Jagadish SuryadevaraPublished in: EUROMICRO-SEAA (2013)
Keyphrases
- timing constraints
- real time systems
- real time databases
- active databases
- embedded devices
- description language
- execution model
- real time database systems
- concurrency control
- model checking
- resource constraints
- real time
- transaction processing
- security requirements
- distributed systems
- object oriented
- management system
- query processing