| AADL模式转换设计方法研究 |
| |
| 引用本文： | 李振松,蒋志雄,顾斌.AADL模式转换设计方法研究[J].计算机工程与设计,2011,32(12):4269-4272. |
| |
| 作者姓名： | 李振松 蒋志雄 顾斌 |
| |
| 作者单位： | 北京控制工程研究所,北京,100190 |
| |
| 摘 要： | 为实现AADL(体系结构分析与设计语言)对航天器控制系统等运行模式相对复杂的嵌入式系统的详细描述,针对AADL核心标准及其行为附件在描述能力上的不足,在行为附件原有文法定义的基础上进行改进,使之能够对多条件合集下的模式转换以及模式转换的优先级进行描述。提出了抽象状态的概念以简化原行为附件文法在描述组合式状态转换关系方面的繁杂程度,提高设计模型的可读性。通过对实际控制系统运行模式进行设计,结果表明了改进后的行为附件文法很好地满足了设计描述上的需求。
|
| 关 键 词： | 体系结构分析与设计语言 模式转换 行为附件 文法定义 设计 |
Research on design method of AADL mode transition |
| |
| LI Zhen-song,JIANG Zhi-xiong,GU Bin.Research on design method of AADL mode transition[J].Computer Engineering and Design,2011,32(12):4269-4272. |
| |
| Authors: | LI Zhen-song JIANG Zhi-xiong GU Bin |
| |
| Affiliation: | LI Zhen-song,JIANG Zhi-xiong,GU Bin(Beijing Institute of Control Engineering,Beijing 100190,China) |
| |
| Abstract: | 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.Finall... |
| |
| Keywords: | architecture analysis and design language mode transitions behavior annex syntax definition design |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
