关键词: 航天型号软件, 混成描述语言, 形式语义模型

Abstract: 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.

Key words: aerospace model software, hybrid description language, formal semantic model