Visible to the public Design StudiosConflict Detection Enabled

Visible to the public 

Design studios are frameworks with tools and services for simplifying engineering tasks. 

This provides a simplified front-end for interested users to gain access, run provided examples and tutorials, and generate practical results without having to download, install, and configure software. Look below for a listing of WebGME-based Design Studios integrated into the CPS-VO.

  D E S I G N   S T U D I O S   L I S T  

ROSMOD Design Studio
Developer: 
Bradley Potteiger
The Robot Operating System Model-driven development tool suite (ROSMOD) is an integrated development environment for modeling, generating, deploying, and managing distributed component-based software using ROS. ROSMOD is well suited for the design, development and deployment of large-scale distributed applications on embedded devices.

DeepForge Design Studio
Developer: Brian Broll
DeepForge is a development environment for deep learning designed for simplicity, collaboration and reproducibility of experiments. Visual editing allows quick and easy design of neural network architectures and machine learning pipelines. Automatic version control assures every experiment can be easily reproduced. All executions can be designed/developed from within the browser and monitored using real-time feedback.

Hierarchical Finite State Machine Design Studio (HFSM)
Developer: William Emfinger
The Finite State Machine (FSM) is a design pattern in which actions are determined by events and the current context of the system. The driver code dispatches events to the FSM that forwards it to the current state. Functions processing the events decide what should be the next system state. After that, the process repeats. The Hierarchical FSM is an extension of the FSM concept.

Modelica Design Studio
Developer: Patrik Meijer

Modelica® is a non-proprietary, object-oriented, equation based language to conveniently model and simulate complex physical systems containing, e.g., mechanical, electrical, electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents.
 

FSolidM Design Studio For Ethereum Smart Contracts
Developer: Anastasia Mavridou
FSolidM is a framework rooted in rigorous semantics for designing contracts as Finite State Machines (FSM) on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Integrated in FSolidM is a set of design patterns, implemented as plugins that developers can easily add to their contracts to enhance security and functionality.

BIP Design Studio
Developer: Anastasia Mavridou
The Behavior Interaction Priority (BIP) framework, rooted in rigorous semantics, allows modeling heterogeneous component-based systems. This group presents the various features provided by the BIP Design Studio including the modeling language, design guidance services, code generators and integration with the BIP tool-set.

GRIDLAB-D
Developer: Himanshu Neema
GridLAB-D™ is a new power distribution system simulation and analysis tool that provides valuable information to users who design and operate distribution systems, and to utilities that wish to take advantage of the latest energy technologies. It incorporates the most advanced modeling techniques, with high-performance algorithms to deliver the best in end-use modeling.

ALC Toolchain
Developer: Gabor Karsai
The ALC Design Studio enables an engineer to design Cyber-Physical Systems (CPS’s) with integrated learning-enabled components (LECs), e.g. deep neural networks, that are executed in a ROS environment. The studio allows for the design, training, deployment and testing of the LECs in the context of the CPS, including a simulation of its physical environment.The ALC tools support the training and deployment of assurance monitors for each LEC in the CPS. Additionally, they facilitate the formal verification of the CPS with the deployed LECs against requirements expressing desired correctness and robustness properties.

HyST Design Studio
Developer: Taylor Johnson
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.

SEAM Design Studio
Developer: Gabor Karsai
Systems Engineering and Assurance Modeling (SEAM) is a tool for the modeling of assurance cases that are integrated with the models of the system, such as requirement models, functional decomposition models, and architecture models extended with fault propagations.

For Developers:

WebGME
WebGME is a web-based modeling/meta-modeling environment and integration platform for building Design Studios. It’s highly configurable and provides generic solutions to services such as online collaboration, version controlled model storage, visualization, model interpretation and tool integration. This particular deployment is a good starting point for building Design Studios as it enables meta-modeling, modeling and model interpretation inside the browser.

  • Documentation for developing design studios with WebGME is available here
  • Documentation for integrating a WebGME-based Design Studio into the CPS-VO can be found here.

Please contact us if you have a resource you would like to have listed in our catalog.

Visible to the public 

Please visit the Active Resources to learn about other tools hosted on the CPS-VO.