AADL模式转换设计方法研究  

Research on design method of AADL mode transition

作　　者：李振松[1] 蒋志雄[1] 顾斌[1] 

机构地区：[1]北京控制工程研究所,北京100190

出　　处：《计算机工程与设计》2011年第12期4269-4272,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(90818024)

摘　　要：为实现AADL(体系结构分析与设计语言)对航天器控制系统等运行模式相对复杂的嵌入式系统的详细描述,针对AADL核心标准及其行为附件在描述能力上的不足,在行为附件原有文法定义的基础上进行改进,使之能够对多条件合集下的模式转换以及模式转换的优先级进行描述。提出了抽象状态的概念以简化原行为附件文法在描述组合式状态转换关系方面的繁杂程度,提高设计模型的可读性。通过对实际控制系统运行模式进行设计,结果表明了改进后的行为附件文法很好地满足了设计描述上的需求。To perfectly describe the embedded system having complex running modes,such as spacecraft control system,AADL（architecture analysis and design language） is used.The syntax definition of AADL behavior annex is improved,aiming at the limitation of AADL kernel standard and behavior annex on describing the mode transitions with multi-condition boolean conjunction and priority.The concept of abstract state is proposed to simplify the model including combined state transitions and polish up its readability.Finally,a model of an actual spacecraft control system with multi running modes is designed in AADL to prove that the betterment behavior annex meets the requirement of model design.

关 键 词：体系结构分析与设计语言 模式转换 行为附件 文法定义 设计 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]