HyST Design Studio
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!
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models: http://verivital.com/hyst/
- webgme / HySTudio: https://github.com/webgme/HySTudio
- Build from scratch video: https://www.youtube.com/watch?v=OgRH57OM7Oc
- Import using existing SpaceEx model: https://www.youtube.com/watch?v=Xfpgusoa08c
- A Design Studio for Verification Tools: https://docs.google.com/presentation/d/1OBOOQ8wYZSAABTqUM3OrvuPNExd6isPbgylb61phfgs/edit?usp=sharing
- HySTudio has been developed in collaboration with the National Science Foundation-funded Cyber-Physical Systems Virtual Organization (CPS-VO).
- Taylor Johnson
- Taylor Johnson