Modelling and verification of ARINC 653 hierarchical preemptive scheduling.
Ning FuLijun ShanChenglie DuZhiqiang LiuHan PengPublished in: Int. Arab J. Inf. Technol. (2020)
Keyphrases
- preemptive scheduling
- single machine to minimize
- model checking
- hierarchical clustering
- hierarchical structures
- hierarchical classification
- database
- face verification
- formal verification
- case study
- information systems
- coarse to fine
- formal methods
- hierarchical structure
- signature verification
- optimization problems
- multiresolution
- verification method