| 面向航天型号软件的混成建模语言研究 |
| |
| 引用本文： | 胡指铭,黄丽桃,赵涌鑫.面向航天型号软件的混成建模语言研究[J].空间控制技术与应用,2021,47(2):25-31. |
| |
| 作者姓名： | 胡指铭 黄丽桃 赵涌鑫 |
| |
| 作者单位： | 华东师范大学软件工程学院 |
| |
| 基金项目： | 高可信嵌入式软件工程技术实验室资助项目;国家重点研发计划资助项目 |
| |
| 摘 要： | 随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.
|
| 关 键 词： | 航天型号软件 混成描述语言 形式语义模型 |
Hybrid Modeling Language for Aerospace Model Software |
| |
| HU Zhiming,Huang Litao,Zhao Yongxin.Hybrid Modeling Language for Aerospace Model Software[J].Aerospace Contrd and Application,2021,47(2):25-31. |
| |
| Authors: | HU Zhiming Huang Litao Zhao Yongxin |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《空间控制技术与应用》浏览原始摘要信息 |
| 点击此处可从《空间控制技术与应用》下载免费的PDF全文 |
