.mint--ml-4 {
    margin-left: -1rem
}
.mint--mr-4 {
    margin-right: -1rem
}
.mint-aspect-video {
    aspect-ratio: 16 / 9
}

How to verify requirements and create simulations on a system level

Verifying Requirements

Dalus Documentation

Overview

Quickstart

Understanding the Dalus workspace layout and navigation

Model Navigation

How To Create Parts And Model The System Structure

Structural Modeling

How to create Action nodes, Signal edges, State nodes, and Transition edges to model system behavior

Behavior Modeling

How to create requirements and use them in the model

Creating Requirements

How to assign requirements to parts and use them in the model

Assigning Requirements

How to use the Documents Hub to manage documents and assign them to parts

How to use the Documents Hub

How to use the AI Copilot to generate system models with context from your documents

How to use the AI Copilot

How to collaborate with your team to create system models

How to collaborate with your team

Learn how to integrate Gitlab with Dalus, in order to use any saved scripts

How to use the GitLab Integrations

The Dalus API allows you to programmatically interact with your models

Introduction

Get a specific model

Update a model

Delete a model

Retrieves a list of models or a specific model by name

Get models

Creates a new model with the current user as the owner

Create a new model

Get a specific part

Updates the script file associated with a specific part

Update a part

Delete a part

Retrieves all parts associated with a specific model

Get all parts for a model

Creates a new part in the specified model

Create a new part

Get a specific port

Update a port

Delete a port

Retrieves all ports associated with a specific model

Get all ports for a model

Creates a new port in the specified model

Create a new port

Retrieves the script file associated with a specific action

Get a specific action script

Updates the script file associated with a specific action

Update an action script

Deletes the script file associated with a specific action and moves it to trash

Delete an action script

Retrieves all actions associated with a specific model

Get all actions for a model

Creates a new action in the specified model

Create a new action

Get a specific state

Update a state

Delete a state

Retrieves all states associated with a specific model

Get all states for a model

Creates a new state in the specified model

Create a new state

Get a specific transition

Update a transition

Delete a transition

Retrieves all transitions associated with a specific model

Get all transitions for a model

Creates a new transition in the specified model

Create a new transition

Get a specific signal

Update a signal

Delete a signal

Retrieves all signals associated with a specific model

Get all signals for a model

Creates a new signal in the specified model

Create a new signal

Get a specific interface

Update an interface

Delete an interface

Retrieves all interfaces associated with a specific model

Get all interfaces for a model

Creates a new interface in the specified model

Create a new interface

Get a specific requirement

Update a requirement

Delete a requirement

Retrieves all requirements associated with a specific model

Get all requirements for a model

Creates a new requirement for a specific model

Create a new requirement

Access the OpenAPI specification for the Dalus API

Get Started

Model Navigation

Architecture

Requirements

Documents

Copilot

Collaborate

Integrations

API Reference

Verifying Requirements