modelwrite
fire-suppression
New modelanonymous via open
Viewingfire-suppression
version main
·commit dfe72915New versionCompare

Overview

Coverage
0 / 1
0 covered · 1 uncovered
Elements
8
1 signals · 0 interfaces
Requirements
1
0 activities
Versions
1
main dfe72915;

branch main · commit dfe72915 · seed platform scenario · by admin

View diagram

Add element

Assist

No live reasoner configured: set MW_ASSIST_BASE_URL (with MW_ASSIST_MODEL) or MW_ANTHROPIC_API_KEY, or MW_ASSIST_REASONER=scripted for the deterministic test mode.

Structure

  • Discharge not provided on fireblock«UnsafeControlAction, not-provided»edit
  • Discharge provided when no fireblock«UnsafeControlAction, provided»edit
  • Fire Suppression Controllerblock«Controller»edit
  • Loss of lifeblock«Loss»edit
  • Smoke sensor fails to detect fireblock«LossScenario»edit
  • Smoke sensor fouledblock«CausalFactor»edit
  • Suppressant Discharge Systemblock«ControlledProcess»edit
  • Uncontrolled fire in protected compartmentblock«Hazard»edit

Signals

  • Discharge suppressantsignal

Requirements

idreqIdtextsatisfied bycoverage
sc-1SC-1Suppressant must reach every protected compartment: The system must deliver suppressant to every protected compartment.—uncovered

Traceability

1 requirements: 0 covered, 1 uncovered · 0 satisfy, 0 refine, 0 verify, 0 allocate

idreqIdtextallocated elementsstatus
sc-1SC-1Suppressant must reach every protected compartment: The system must deliver suppressant to every protected compartment.—uncovered

State and activity

State machine: Fire Suppression

This state machine has no regions.

This state machine has no transitions.

Activities

This model has no activities.