world
  variables
    # object-bediensignaal
    te_verzenden_bediensignaal_NBC is a bediensignaal #< Uitgaande bediensignaal van de Nautische Bediencentrale aangeboden aan het Wide-Area-Network.
    verzonden_bediensignaal_NBC is a bediensignaal #< Bediensignaal van de Nautische Bediencentrale die zijn verzonden over het Wide-Area-Network.

    # noodstoptoestel centrale bedienplek status-signaal
    te_verzenden_statussignaal_NBC is a statussignaal #< Uitgaande statussignaal van de Nautische Bediencentrale aangeboden aan het Wide-Area-Network.
    verzonden_statussignaal_NBC is a statussignaal #< Statussignaal van de Nautische Bediencentrale die zijn verzonden over het Wide-Area-Network.

    # object-status signaal
    te_verzenden_statussignaal_OBJ-PBN is a statussignaal #< Uitgaande status signaal van het primaire bediensysteem van een object aangeboden aan het Wide-Area-Network.
    verzonden_statussignaal_OBJ-PBN is a statussignaal #< Status signaal van de primaire bediensysteem van een object verzonden over het Wide-Area-Network.

    # noodstop-circuit statussignaal
    te_verzenden_statussignaal_OBJ-PNC is a statussignaal #< Uitgaande status signaal van het Primaire Noodstopcircuit van een object aangeboden aan het Wide-Area-Network.
    verzonden_statussignaal_OBJ-PNC is a statussignaal #< Status signaal van het Primaire Noodstopcircuit van een object verzonden over het Wide-Area-Network.

    # Prestatie indicatoren.
    het_safety-integrity-level is a prestatie-indicator #< Prestatie indicator voor de veiligheid en betrouwbaarheid van vervullen van functies.

    # UKVC poorten
    de_UKVC-poort is an integer #< Poort gedifinieerd in het Universeel Koppelvlak VerkeersCentrale.

    objectbedienmodus is an bedienmodi-enumeratie #< De verschillende modi waarin een object kan worden bediend

  components
    de_nautische_bediencentrale is a NautischeBediencentrale with arguments
      * te_verzenden_bediensignaal_NBC
      * te_verzenden_statussignaal_NBC
      * verzonden_statussignaal_OBJ-PBN
      * verzonden_statussignaal_OBJ-PNC
      * objectbedienmodus


    het_nautisch_object is a NautischObject with arguments
      * te_verzenden_statussignaal_OBJ-PBN
      * te_verzenden_statussignaal_OBJ-PNC
      * verzonden_bediensignaal_NBC
      * verzonden_statussignaal_NBC
      * objectbedienmodus

    het_wide-area-network is a WideAreaNetwork with arguments
      * te_verzenden_bediensignaal_NBC
      * te_verzenden_statussignaal_NBC
      * verzonden_statussignaal_OBJ-PBN
      * verzonden_statussignaal_OBJ-PNC
      * te_verzenden_statussignaal_OBJ-PBN
      * te_verzenden_statussignaal_OBJ-PNC
      * verzonden_bediensignaal_NBC
      * verzonden_statussignaal_NBC

  comments
    de_nautische_bediencentrale #< Dit component (LFV) wordt afgekort als NBC (Nautische BedienCentrale).
    het_nautisch_object #< Dit component (LFV) wordt afgekort als OBJ (OBJect).
    het_wide-area-network #< Dit component (LFV) wordt afgekort als WAN (Wide-Area-Network).

  goal-requirement
    NBC-aanbieden-bediensignaal-01: de_nautische_bediencentrale must aanbieden te_verzenden_bediensignaal_NBC aan het_wide-area-network with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 1

  comment
    NBC-aanbieden-bediensignaal-01 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  goal-requirement
    WAN-aanbieden-bediensignaal-01: het_wide-area-network must aanbieden verzonden_bediensignaal_NBC aan het_nautisch_object with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 1

  comment
    WAN-aanbieden-bediensignaal-01 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  goal-requirement
    NBC-aanbieden-statussignaal-01: de_nautische_bediencentrale must aanbieden te_verzenden_statussignaal_NBC aan het_wide-area-network with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 5

  comment
    NBC-aanbieden-statussignaal-01 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  goal-requirement
    WAN-aanbieden-statussignaal-01: het_wide-area-network must aanbieden verzonden_statussignaal_NBC aan het_nautisch_object with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 5

  comment
    WAN-aanbieden-statussignaal-01 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  goal-requirement
    OBJ-aanbieden-statussignaal-01: het_nautisch_object must aanbieden te_verzenden_statussignaal_OBJ-PBN aan het_wide-area-network with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 1

  comment
    OBJ-aanbieden-statussignaal-01 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  goal-requirement
    WAN-aanbieden-statussignaal-02: het_wide-area-network must aanbieden    verzonden_statussignaal_OBJ-PBN aan de_nautische_bediencentrale with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 1

  comment
    WAN-aanbieden-statussignaal-02 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  goal-requirement
    OBJ-aanbieden-statussignaal-02: het_nautisch_object must aanbieden te_verzenden_statussignaal_OBJ-PNC aan het_wide-area-network with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 5

  comment
    OBJ-aanbieden-statussignaal-02 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  goal-requirement
    WAN-aanbieden-statussignaal-03: het_wide-area-network must aanbieden verzonden_statussignaal_OBJ-PNC aan de_nautische_bediencentrale with subclauses
      * sil-level-01: het_safety-integrity-level  must be at least t.b.d.
      * ukvc-poort-01: de_UKVC-poort must be equal to 5

  comment
    WAN-aanbieden-statussignaal-03 #< Nader te bepalen informatie m.b.t. tot bovenstaande eis. Bijvoorbeeld een omschrijving van de verificatiemethode.

  comments
    het_safety-integrity-level #< Maat voor de betrouwbaarheid en veiligheid van de
                               #< procesvoortgang.
    te_verzenden_bediensignaal_NBC #< De vorm van dit signaal is nader gedefinieerd
                                #< in de UKVC.
    het_wide-area-network #< Afkorting 'wan'.
