摘要： 随着航天飞行器结构的复杂和软件规模的膨胀，软件的结构成为软件设计的关键技术，针对该问题，提出以有限状态机为模型的软件模块化设计方法。该设计按事件产生、消息(事件)队列维护、事件响应的处理流程，建立事件驱动机制，构建软件系统结构。实验结果表明，该设计提高了软件的可靠性和开发效率，使其更易于维护和扩展，并降低了失效风险。

关键词: 有限状态机, 事件驱动, 管理软件, 卫星

Abstract: With the structure of aerospace craft increasingly becoming complex and its software scale being more and more inflated, the design of software framework becomes the key technology of the software design. Aiming at this problem, this paper proposes a software modularized design method based on Finite State Machine(FSM) model. It establishes event-driven mechanism and constructs system structure of the software according to the process flow which is event generating, event queue maintaining and event answering. Experimental result indicates that the design improves the reliability and developing efficiency of software, makes it easier vindicating and expanding, and reduces the disabled risk.

Key words: Finite State Machine(FSM), event-driven, management software, satellite

中图分类号: 

• TP393