嵌入式软件层次模型的研究与FSM数学模型

文章提出了一种完全以状态驱动为控制处理的设计思想出发点,按照系统的逻辑和机能建立有限状态机,并根据各状态机在系统中的不同地位将嵌入式软件进行逻辑分层的软件模型设计方法。通过对各逻辑层次的状态机数学模型的变更和优化实现各种不同的控制处理过程。此研究致力于解决在嵌入式实时软件设计中复杂的环境交互与状态迁移而导致的设计困难,为嵌入式软件设计提供一个新思路。