Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation.
Lorenzo RacchettiCesare FantuzziLorenzo TacconiPublished in: IECON (2015)
Keyphrases
- industrial automation
- asynchronous circuits
- formal verification
- concurrent systems
- test sequences
- model checking
- automated verification
- delay insensitive
- test generation
- model checker
- control system
- symbolic execution
- service oriented architecture
- bounded model checking
- formal specification
- test cases
- multi agent systems
- hidden markov models
- model based testing
- abnormal situations
- specification language
- software testing
- test suite
- high level
- protocol specification