Finite state machines have a fundamental importance for realtime software development. A comparison of the Mealy and Moore models for finite state machines indicates certain advantages of the Moore model over the almost industry-standard Mealy model. A refinement of the Moore model is proposed that distinguishes between continuous activities taken while the system is in a specific state, and those required at the transitions into and out of the state. Methods for using FSMs in the design model of a real-time system are discussed.
展开▼
机译:有限状态机对于实时软件开发至关重要。有限状态机的 Mealy 模型和 Moore 模型的比较表明,Moore 模型相对于几乎行业标准的 Mealy 模型具有某些优势。提出了对摩尔模型的改进,该模型区分了在系统处于特定状态时进行的连续活动,以及在转换进入和离开状态时所需的活动。讨论了在实时系统设计模型中使用FSM的方法。
展开▼