面向航天型号软件的混成建模语言研究

Hybrid Modeling Language for Aerospace Model Software

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统,为了描述物理世界的连续行为,希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL),使其能够统一地描述其运行的物理过程与软件的控制行为,以及它们之间的协同交互机制,同时,为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性,最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.

With the rapid development of Chinese aerospace industry,the role and status of software in spacecraft become more and more prominent.Aerospace software gradually becomes one of the keys to the success of aerospace missions.Aerospace model software generally has the characteristics of high real-time performance,high reliability requirements,complex operating environment,complex spacecraft structure,and limited resources.This bring huge challenges to the description,design,analysis and implementation of aerospace model software.We hope to develop a hybrid description language which is called hybrid spacecraft requirement description language(HSPARDL)for software modeling features of aerospace models based on the embedded cycle control system language,which is called spacecraft requirement description language(SPARDL).It can uniformly describe the physical process of its operation and the control behavior of the software,as well as between them.At the same time,it provides a strict formal semantic model to ensure the correctness and reliability of embedded software design,and ultimately provides a solid theoretical foundation and method support for the design and implementation of aerospace model software.