HyST Design Studio

Important!

Before running the studio, please make sure of the following:

• You must first be logged into CPS-VO. If you have no account, you can create one here.
• Make sure you are using one of the supported web browsers listed here

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

Website:

• http://verivital.com/hyst/
• https://github.com/webgme/HySTudio

Videos:

• Build from scratch
• Import using existing SpaceEx model

Slides:

• A Design Studio for Verification Tools

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).