P5 — Resource States

Purpose & Usage

The P5 Viewpoint is concerned with Resource Types changing State in response to events and other stimuli.

• Systems Engineering.
• Safety Cases.
• Definition of states, events and state transitions (behavio ural modeling).

Scope

• Shall contain all Resource States of Physical Active Resources relevant for the entity of interest.
• Shall contain Resource Transitions between Resource States.
• May show Resource Events triggering Resource Transitions.
• May show Resource Modes of a Resource Functions that are enabled by the Resource State.
• May show Resource States Groupings of Resource States, and their groupings.
• May trace Resource States to Logical States.

Representation

• State Transition diagram.
• Finite State diagram.

Cut-out (Meta-model)

flowchart TB
    ResourceMode["Resource Mode"]:::config
    LogicalState["Logical State"]:::activity
    RF["Resource Function"]:::config
    RS["Resource State"]:::config
    RSG["Resource State Group"]:::config
    RT["Resource Transition"]:::config
    RE["Resource Event"]:::config
    PAR["Physical Active Resource"]:::config
    RF -->|"has"| ResourceMode
    RS -->|"relates to"| LogicalState
    RF -->|"enables"| RS
    RSG -->|"aggregates"| RS
    RSG -->|"aggregates"| RSG
    RT -->|"is equal to"| RS
    PAR -->|"has"| RS
    RE -->|"triggers"| RT
    classDef activity fill:#9DC3E6,stroke:#1F4E79,color:#000
    classDef config fill:#F4B084,stroke:#833C0C,color:#000

NAFv4 Compliant Example

flowchart TB
    Moving["«Resource State» Moving to Extraction Point"]:::config
    Hovering["«Resource State» Hovering"]:::config
    Rescuing["«Resource State» Rescuing"]:::config
    Exiting["«Resource State» Exiting"]:::config
    Hover["«Resource Function» Execute Hover Manoeuvre"]:::config
    Deploy["«Resource Function» Deploy Rescue Winch"]:::config
    Confirm["«Resource Function» Confirm Extraction Complete"]:::config
    Arrival["«Resource Event» Extraction Point Arrival"]:::config
    TransHover["«Resource Transition» Transition to Hovering"]:::config
    SubjId["«Resource Transition» Subject Identified"]:::config
    SubjResc["«Resource Transition» Subject Rescued"]:::config
    TacticalGroup["«Resource State Group» Tactical operation in Progress"]:::config
    NH90["«Equipment Type» NH90"]:::config
    Moving -->|"enables"| Hover
    Rescuing -->|"enables"| Deploy
    Rescuing -->|"enables"| Confirm
    Arrival -->|"triggers"| TransHover
    Moving --> Hovering
    TransHover --> Hovering
    Hovering --> Rescuing
    SubjId --> Rescuing
    Rescuing --> Exiting
    SubjResc --> Exiting
    TacticalGroup -->|"aggregates"| Moving
    TacticalGroup -->|"aggregates"| Hovering
    TacticalGroup -->|"aggregates"| Rescuing
    TacticalGroup -->|"aggregates"| Exiting
    NH90 -->|"has"| Moving
    NH90 -->|"has"| Hovering
    NH90 -->|"has"| Rescuing
    NH90 -->|"has"| Exiting
    classDef config fill:#F4B084,stroke:#833C0C,color:#000