检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:董晓刚[1] 李经松[1] 王殿佑[1] 李川[1] 陈朝晖[1] DONG Xiaogang;LI Jingsong;WANG Dianyou;LI Chuan;CHEN Zhaohui(Beijing Institute of Control Engineering,Beijing 100190,China)
出 处:《空间控制技术与应用》2021年第2期55-62,共8页Aerospace Control and Application
基 金:国家自然科学基金资助项目(61632005)。
摘 要:开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过程.同时,建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.Considering the current spacecraft control software development,the purpose of model-based driven research is to solve the problems of accurate description of requirements,adequate verification of design and reliability of software products.Aiming at the problems of complex interfaces and complicated operations in the code gluing process,a model architecture is proposed based on development method,which builds a model driven development framework for spacecraft control software.It simplifies the code gluing process by embedding legacy code or new code into driven development framework by model encapsulation.At the same time,in order to improve the reuse efficiency of mature algorithms and the reliability of software products,a general model library is built in the field of spacecraft control.The research of this method lays a solid foundation for the transformation of software development to model driven mode.
关 键 词:航天器控制软件 MBD 模型架构 模型库 代码胶合
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28