系统架构描述语言AADL的功能行为建模扩展 - 许金淼; 杨志斌; 黄志球; 谢健; 周勇 (计算机科学与探索, 2019)
Keywords: 架构分析与设计语言(AADL); hierarchical behavior annex (HBA); functional specification; 层次行为附件(HBA); 功能规约; safety-critical system; 安全关键系统; architecture analysis and design language (AADL)