CLASSIC
Modul: bswm
Rolle: constitutive
Konfidenz: 95%
SNIP_CLASSIC_BSWM_SECTION_7_1_4_Arbitration_Behavior_after_Initialization
Wortlaut
7.1.4 Arbitration Behavior after Initialization
The behavior of the mode arbitration of BswM after initialization is controlled by the configuration container BswMModeInitValue. This parameter may be configured once for each BswMModeRequestPort in the configuration.
[SWS_BswM_00064] ⌈If the container BswMModeInitValue does not exist or the ModeRequest does not already have an initial value, the BswM shall treat the corresponding mode condition as undefined and not use it for mode arbitration until the corresponding mode arbitration request has been updated for the first time.⌋(SRS_ModeMgm_09179, SRS_ModeMgm_09228, SRS_ModeMgm_09180)
[SWS_BswM_00241] ⌈BswM shall only arbitrate rules that do not contain any undefined mode conditions within its logical expressions.⌋(SRS_ModeMgm_09180) The initial value of each BswMModeRequestPort after initialization may be controlled by the configuration container BswMModeInitValue.
[SWS_BswM_00203] ⌈In case BswMModeInitValue is defined the BswM shall initialize the corresponding BswMModeRequestSource with either the BswMBswModeInitValue or the BswMCompuScaleModeValue while the BswM is initialized. The BswM shall reject configurations which contain both a BswMBswModeInitValue and a BswMCompuScaleModeValue for a single BswMModeInitValue. This initialization value shall be used for the arbitration rule until the corresponding mode arbitration request has been updated e.g. each call of BswM_RequestMode shall update the GenericRequest mode.⌋(SRS_ModeMgm_09179, SRS_ModeMgm_09228, SRS_ModeMgm_09180) Note: the Rte and SchM modes always have an intial value (see [SRS_Rte_00116])
[SWS_BswM_00251] ⌈Upon initialization of the BswM, all BswMEventRequestPorts shall be initialized to a CLEAR state.⌋(SRS_ModeMgm_09183)
Versionen & Provenienz · Zugeordnete Anforderungen
Diese Angaben zeigt der Versions-Explorer.
Begründung & Zuweisungs-Evidenz
Cited verbatim in the snippet (deterministic citation).
Dokumenten-Herkunft & Rückverfolgbarkeit
| Spezifikations-Dokument | SWS_BSWModeManager.pdf |
|---|---|
| Dokumentseite | Seite 30 |
| Ziel-Modul | bswm (classic) |
| Ziel-Anforderung | SWS_BswM_00251 |
| Semantische Rolle | constitutive |
| Automatisierungs-Konfidenz | 0.95 |