CAJ | 학술논문

随着航天飞行器结构的复杂和软件规模的膨胀,软件的结构成为软件设计的关键技术,针对该问题,提出以有限状态机为模型的软件模块化设计方法.该设计按事件产生、消息(事件)队列维护、事件响应的处理流程,建立事件驱动机制,构建软件系统结构.实验结果表明,该设讣提高了软件的可靠性和开发效率,使其更易于维护和扩展,并降低了失效风险.
수착항천비행기결구적복잡화연건규모적팽창,연건적결구성위연건설계적관건기술,침대해문제,제출이유한상태궤위모형적연건모괴화설계방법.해설계안사건산생、소식(사건)대렬유호、사건향응적처리류정,건립사건구동궤제,구건연건계통결구.실험결과표명,해설부제고료연건적가고성화개발효솔,사기경역우유호화확전,병강저료실효풍험.
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,