Examples

Spec42 ships with five built-in example workspaces. Click any example in the Examples section of the Spec42 sidebar to open it.

timer ⭐ — Start here

A kitchen timer modeled as a SysML v2 state machine. This is the recommended first example.

• Demonstrates part def, state def, transitions, and timing attributes.
• Suggested view: General View.

drone — Architecture + views

A surveillance drone modeled with a part hierarchy and explicit port connections.

• Demonstrates port def, connection def, and interface definitions.
• Suggested view: Interconnection View.

webshop — Requirements + behavior

An e-commerce system combining requirements, behavior, and structural parts.

• Demonstrates requirement def, satisfy requirement, and action def.
• Suggested view: General View.

intersection — State behavior

A traffic light intersection modeled as concurrent state machines.

• Demonstrates nested state def, transitions, and do actions.
• Suggested view: State Transition View.

office — Compact model

A small office system showing how to keep models concise.

• Good template for starting your own model from scratch.
• Suggested view: General View.