Research on design method of AADL mode transition
Research on design method of AADL mode transition
复制标题
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Liu Zhen-song;Jiang Zhi-xiong;Gu Bin
中科院分区：
文献类型：
--
作者：
Liu Zhen-song;Jiang Zhi-xiong;Gu Bin
为了完美描述具有复杂运行模式的嵌入式系统，例如航天器控制系统，使用了AADL（体系结构分析和设计语言）。AADL行为的语法定义改进了语法定义附件，旨在限制AADL Kernel标准和行为附件。用多条件布尔连接和优先级描述模式过渡。提出了抽象状态的概念，以简化模型，包括合并状态过渡并提高其可读性。在最后，在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.