DEENESPTFRRUARHIKOZHNL
ADAPTIVE Modul: can Rolle: heuristic Konfidenz: 80%

SNIP_ADAPTIVE_CAN_FIGURE_Figure_8_6_MANIFESTSPECIFICATION

Quelle: ManifestSpecification.pdf (Seite 344) • Ziel-Anforderung: SWS_EM_CONSTR_00001

Wortlaut

Figure 8.6: Explanation of dependencies from one Process to another Class ExecutionDependency Package M2::AUTOSART emplates::AdaptivePlatform::ExecutionManifest Note This element defines a ProcessState in which a dependent process needs to be before the process that aggregates the ExecutionDependency element can be started. Tags:atp.Status=draft Base ARObject Attribute Type Mult. Kind Note processState ModeDeclaration 0..1 iref This represent the applicable modeDeclaration that represents an ProcessState. Tags:atp.Status=draft InstanceRef implemented by: ModeInProcessInstance Ref Table 8.6: ExecutionDependency [constr_1606]{DRAFT} Processes with mutual ExecutionDependencys ⌈A Process.stateDependentStartupConfig.executionDependency shall not refer to any ModeDeclaration owned by a second Process that in turn refers via stateDependentStartupConfig.executionDependency to any ModeDeclaration owned by the first Process.⌋()

Versionen & Provenienz · Zugeordnete Anforderungen

Diese Angaben zeigt der Versions-Explorer.

Begründung & Zuweisungs-Evidenz

Execution dependency supported process states

Dokumenten-Herkunft & Rückverfolgbarkeit

Spezifikations-Dokument ManifestSpecification.pdf
Dokumentseite Seite 344
Ziel-Modul can (adaptive)
Ziel-Anforderung SWS_EM_CONSTR_00001
Semantische Rolle heuristic
Automatisierungs-Konfidenz 0.80