东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

AADL在航天器控制系统设计中的应用研究

ISSN号：1674-1579
期刊名称：空间控制技术与应用
时间：0
页码：55-58+62
分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术] V448.12[航空宇航科学与技术—飞行器设计;航空宇航科学技术]
作者机构：[1]北京控制工程研究所,北京100190
相关基金：国家自然科学基金（90818024）资助项目
相关项目：航天嵌入式软件可信性构造与验证的关键技术研究

作者：李振松|顾斌|LI Zhensong,GU Bin(Beijing Institute of Control En|

关键词：航天器, AADL, 建模, 状态自动机, 分析, spacecraft, AADL, modeling, state machine, analyze

中文摘要：

以某型号航天器为例提出了一种使用体系结构分析和设计语言（AADL,architecture analysis ＆ design language）分层次建模的方法,建立控制系统软件及软件与硬件之间的交互模型.采用状态自动机方式描述串口通信协议,以便分析模型.

英文摘要：

By taking a spacecraft for example,an AADL based hierarchical modeling method is proposed in this paper.Software model and interaction model between software and hardware in the control system are built,and the communication protocol between subsystems is described in a state machine form to analyze models.

同期刊论文项目