Using Visual Specifications in Verification of Industrial Automation Controllers.
Valeriy VyatkinGustavo BouzonPublished in: EURASIP J. Embed. Syst. (2008)
Keyphrases
- industrial automation
- control system
- concurrent systems
- automated verification
- formal verification
- bounded model checking
- asynchronous circuits
- model checking
- high level
- visual features
- visual information
- multi agent systems
- low level
- abnormal situations
- visual cues
- real time
- formal methods
- control flow
- service oriented architecture
- closed loop
- model checker
- sensor networks
- control scheme
- controller design
- formal specification
- lightweight
- machine learning