Skip to content

Surgical Robot

Use this example for a cyber-physical system with safety architecture.

  • Define primary and monitor control channels.
  • State the basis for their independence.
  • Model the interlock and mechanical-force flow.
  • Include the haptic user-interface element in the same connected model.

Open the source model.

Where this sits in MEMO

Every tutorial is one slice of the same structure. This example populates these layers:

Layer Element types it uses Reference
Logical LogicalComponent, LogicalExchange Logical
Implementation and realization Actuator, MechanicalPart, UIElement Implementation and realization
Views and methodology MemoDiagramView Views and methodology

Typed links it uses: IndependentOf, MonitorsChannel — see Relationships for what each one claims and which ends are legal.

Layers it does not populate: operational, functional, assurance. A MEMO project includes only the layers selected by its methodology. For a device modelled all the way through, see the GPCA Pump case study.

Narrative treatment: Requirements and Architecture.

Source model: examples/surgical-robot