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!
Important!
Before running the studio, please make sure of the following:
1. You must first be logged into CPS-VO. If you have no account, you can create one here.
2. Make sure you are using one of the supported web browsers listed here
Links
Website:
Videos:
Slides:
Overview:
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).