Integrated Tools
Integrated tools involve complex solutions requiring external initialization, end-user tunable parameters, runtime commands, post-processing, data collection, and other advanced features can be deeply integrated into the CPS-VO.
Utilizing configuration files and scripts provided by the tool author, the CPS-VO provides a form for initializing, launching, and controlling the tool, which may run with or without a graphical user interface on remote hardware or within the CPS-VO's cloud infrastructure on any system that is accessible by SSH. Output files can be automatically retrieved back to the CPS-VO upon process completion.
I N T E G R A T E D T O O L S L I S T
The SpaceEx tool platform is designed to facilitate the implementation of algorithms related to reachability and safety verification.
For Developers:
- Technical documentation regarding implementation can be found here.
- Please contact us if you have a resource you would like to integrate with the CPS-VO.