Embedded system verification through constraint-based scheduling.
Olfat El-MahiGilles PesantGabriela NicolescuGiovanni BeltramePublished in: RSP (2013)
Keyphrases
- grid workflow
- scheduling problem
- scheduling algorithm
- model checking
- flow control
- formal verification
- signature verification
- flexible manufacturing systems
- resource allocation
- dynamic scheduling
- formal analysis
- learning algorithm
- preventive maintenance
- person identification
- concurrent systems
- false acceptance rate
- formal methods
- production scheduling
- data mining
- parallel machines
- resource constraints
- response time
- optimal solution
- objective function
- social networks
- genetic algorithm