Binding of ARINC653 Partitions to Memory Segments as AADL Process Binding to Memory
标准号：AS5506/2
标准名称： SAE Architecture Analysis and Design Language (AADL) Annex Volume 2:
Annex B: Data Modeling Annex
Annex D: Behavior Model Annex
Annex F: ARINC653 Annex
|