CLASSIC
Modul: linsm
Rolle: constitutive
Konfidenz: 95%
SNIP_CLASSIC_LINSM_SECTION_7_1_1_LINSM_UNINIT
Wortlaut
7.1.1 LINSM_UNINIT
The uninit state is the first state that is active in the LinSM module.
[SWS_LinSM_00022] ⌈There shall be a state called LINSM_UNINIT⌋
[SWS_LinSM_00161] ⌈The state LINSM_UNINIT shall be active at start-up, before any API is called.⌋
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_LINStateManager.pdf |
|---|---|
| Dokumentseite | Seite 22 |
| Ziel-Modul | linsm (classic) |
| Ziel-Anforderung | SWS_LinSM_00161 |
| Semantische Rolle | constitutive |
| Automatisierungs-Konfidenz | 0.95 |