S-Taliro

S-TaLiRo

Description: S-TaLiRo is a Matlab toolbox that searches for trajectories of minimal robustness in Simulink / Stateflow. It can analyze arbitrary Simulink models or user defined functions that model the system. At the heart of the tool, we use randomized testing based on stochastic optimization techniques including Monte-Carlo methods, Ant-Colony Optimization and so on. Among the advantages of the toolbox is the seamless integration inside the Matlab environment, which is widely used in the industry for model-based development of control software.

VO Integration: No

Active: Yes

Available Benchmarks: No

Website: https://sites.google.com/a/asu.edu/s-taliro/s-taliro

Download: Link to files and installation instructions.

Documentation: A quick quide can be found here. See this page for a list of publications which help outline how to use the software.

Contact: Link to list of contributors.

Excerpt and graphic from: https://sites.google.com/a/asu.edu/s-taliro/s-taliro