航天嵌入式软件可信性保障技术及应用研究
摘要
In this paper, the current status of software dependability guarantee in aerospace embedded domain is discussed, and the challenges in this topic are surveyed. The aerospace embedded software guarantee technology architecture is proposed. Moreover, theories and methodologies to keep the correctness about dynamic temporal, program implementation, and control behaviors are deeply researched. Based on these theories and methodologies, aerospace embedded dependable software guarantee integrated environment is developed. The most significant contribution of our research is that the achievements are applied in the development of embedded software which is deployed in the lunar-earth high speed re-entry return spacecraft, and make contribution to its success.