Verification Tool Library

The ALC Design Studio enables an engineer to design Cyber-Physical Systems (CPS's) with integrated learning-enabled components (LECs).

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.

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.

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.

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.

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.

DeepForge is a development environment for deep learning designed for simplicity, collaboration and reproducibility of experiments. Visual editing allows users to quickly and easily design neural network architectures and machine learning pipelines using a simple, intuitive interface. Integrated Version Control means that every experiment can be easily reproduced as everything is automatically version controlled. Users can design, develop and iterate on neural network models from within the browser and train the models on remote machines and monitor all executions using real-time feedback!

Design Studio

Physical Systems Modeling Language

The Robot Operating System Model-driven development tool suite (ROSMOD) is an integrated development environment for rapid prototyping component-based software for the Robot Operating System (ROS) middleware. ROSMOD is well suited for the design, development and deployment of large-scale distributed applications on embedded devices.