HyST Design Studio

HySTudio is a development environment to aid verification tool developers by providing a seamless integration experience with benchmark models so that at one point they can compare their work with other teams Its editor is based on SpaceEx modeling language and it employs HyST for translating output data into a suitable format to present to an analyzer.

HyST Design Studio

IMPORTANT!

To launch the tool, you must first be logged into the portal. If you have no account, you can create one here.

Demo Launch

Links

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

Acknowledgements

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

Contacts

Taylor Johnson

Contributors

Taylor Johnson