捷联惯性导航系统的软件在导航系统中发挥着至关重要的承载和核心作用。在军事上,随着武器性能的不断提高,导航系统的规模变大,交互性更强,约束增多,结构也更复杂,传统的导航系统软件开发方法已经不能满足需要,因而必须寻求新的方法。有限状态机是描述和刻画实时嵌入式系统复杂状态行为的有力工具,是分析和设计导航系统软件的合理选择。论文首先介绍了传统有限状态机的原理和不足之处,进而详细介绍了目前先进的Harel状态图原理及应用。其次,把Harel状态图应用于导航软件的分析与设计,详细探讨了从导航软件的需求分析到实现方案的过程。论文以软件的需求分析为基础,逐步设计了软件设计的控制流程图、数据流图、接口设计和控制变量。运用面向对象的方法,构建了软件的用例图、顺序图和状态图,并总结了如何用状态图快速实现导航软件功能需求的方法。再次,详细介绍了导航计算机板的硬件组成和中断分配,硬件和软件的初始化,软件的更新和升级,应用程序的调试与下载等软件实现的各个方面,并通过实验验证了导航软件。实验结果表明,该软件运行正常,稳定,达到了预期目的。