Compositional Verification for Hierarchical Scheduling of Real-Time Systems.
Laura CarnevaliAlessandro PinzutiEnrico VicarioPublished in: IEEE Trans. Software Eng. (2013)
Keyphrases
- real time systems
- real time database systems
- timing constraints
- real time
- real time databases
- grid workflow
- distributed systems
- embedded systems
- mission critical
- scheduling problem
- hierarchical structure
- architectural model
- scheduling algorithm
- real time embedded
- object oriented programming language
- model checking
- information processing
- case study