| 面向航天型号软件的混成建模语言研究 |
| |
| 引用本文： | 胡指铭,黄丽桃,赵涌鑫.面向航天型号软件的混成建模语言研究[J].空间控制技术与应用,2021,47(2):25-31. |
| |
| 作者姓名： | 胡指铭 黄丽桃 赵涌鑫 |
| |
| 作者单位： | 华东师范大学软件工程学院 |
| |
| 基金项目： | 高可信嵌入式软件工程技术实验室资助项目;国家重点研发计划资助项目 |
| |
| 摘 要： | 随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力...
|
| 关 键 词： | 航天型号软件 混成描述语言 形式语义模型 |
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全文 |
