Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow

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...

Full description

Bibliographic Details
Main Authors: Meng Li, Ratnesh Kumar
Format: Article
Language:English
Published: Wiley 2017-03-01
Series:IET Cyber-Physical Systems
Subjects:
reachability analysis
discrete systems
automation
program testing
control engineering computing
automata theory
reachability resolution
discrete-time hybrid systems
automated test generation
Simulink/Stateflow
commercial model-based development tool
hybrid automaton refinement
edge representation
defect-detection
requirements-satisfaction
bounded counter
cyberphysical system
thermal control unit
Online Access:https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2017.0007

Internet

https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2017.0007

Similar Items