Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow
Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code. The authors present a test generation approach for Simulink/Stat...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2017-03-01
|
| Series: | IET Cyber-Physical Systems |
| Subjects: | |
| Online Access: | https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2017.0007 |