Visible to the public HyST Design Studio

Visible to the public 

Short Description

 

HySTudio is a Design Studio that was built to make it easier for verification tool developers to showcase their work by providing a seamless integration experience with benchmark models so that at one point they can compare their work with other teams. The editor of the studio is based on SpaceEx modeling language that is a quasi-standard for describing hybrid systems. Users can import their existing models or build new ones from scratch using a familiar visual representation. In order to run analysis on these models, the studio relies on the HyST, which can translate generated output into any of several formats that can be used as a suitable input for many analysis tools. All available analyzers are listed and they are automatically called. The analyzer will present a basic plot of the result and all generated artifacts are available for downloading as well.

For tool developers, the integration takes only a few simple steps and their tool can be advertised and even compete against other tools!

 

Links

HyST Design Studio 
(Important! To view the design studio, you need to be logged in CPS-VO. You can create an account here.)

Website:

Videos: 

Slides: 

Publication: DEMO: A Design Studio for Verification Tools

Contact: Taylor Johnson

Acknowledgements:
 HySTudio has been developed in collaboration with the National Science Foundation-funded Cyber-Physical Systems Virtual Organization (CPS-VO).