A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.
Laura CarnevaliGiuseppe LipariAlessandro PinzutiEnrico VicarioPublished in: Ada-Europe (2011)
Keyphrases
- formal methods
- building blocks
- design criteria
- interactive systems
- management system
- distributed systems
- knowledge based systems
- formal analysis
- design decisions
- design methodology
- hardware designs
- neural network
- manufacturing cell
- design issues
- hierarchical structure
- design process
- scheduling problem
- design principles
- formal verification
- learning systems
- reactive systems
- expert systems