Integrated Tools

Visible to the public 

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   

Space Ex

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.