Design Studios

Currently, the CPS-VO Portal includes ten public, published and compliant design studios:

• BIP Design Studio (https://cps-vo.org/group/bip)
• DeepForge Design Studio (https://cps-vo.org/group/deepforge) [temporarily offline]
• FSolidM Design Studio For Ethereum Smart Contracts (https://cps-vo.org/group/SmartContracts)
• Hierarchical Finite State Machine Design Studio (HFSM) (https://cps-vo.org/group/hfsm)
• Modelica Design Studio (https://cps-vo.org/group/modelica)
• ROSMOD Design Studio (https://cps-vo.org/group/ROSMOD)
• GridLAB-D Design Studio(https://cps-vo.org/group/gridlabd)
• HyST Design Studio (https://cps-vo.org/group/HyST)
• SEAM Design Studio (https://cps-vo.org/group/seam)
• ALC Tool Chain (https://cps-vo.org/group/alc)

The DARPA AA (https://assured-autonomy.org) portal supports three additional design studios, bridging authentication through the CPS-VO:

• Scenic Design Studio (https://cps-vo.org/group/HyST)
• Verisig Design Studio (https://assured-autonomy.org/node/28)
• NNV Tool Chain (https://assured-autonomy.org/node/27)

AA also bridges to the ALC Tool Chain on the CPS-VO.

There is one studio under development at this time:

• HSCC

Additional Ideas Under Review

• Truck Scheduling Tool - Filipe Vital
• NSA Ghidra open sourced tools
• ASU tool/CATVehicle - Jonathan Sprinkle

Integrated Tools

• SpaceEx - verification tool by Verimag (https://cps-vo.org/group/SpaceEx)
• CPSChallenge - restricted access education tool (https://cps-vo.org/group/CPSChallenge)