-
基于有限狀態(tài)機的嵌入式系統(tǒng)模型校驗技術
對于面向控制的系統(tǒng)，可以采用有限狀態(tài)機(FSM)定義需求和設計，這是一種得到廣泛認可的抽象表示方法。當然，光靠FSM并不能對復雜的實際工業(yè)系統(tǒng)進行建模。我們還需要：1. 能將需求模塊化并區(qū)分需求等級;2. 能合并各組成部分的需求(或設計);3. 能通過更新預先規(guī)定的變量和設備，防止可能出現(xiàn)的異常。
巧克力娃娃
對于面向控制的系統(tǒng)，可以采用有限狀態(tài)機(FSM)定義需求和設計，這是一種得到廣泛認可的抽象表示方法。當然，光靠FSM并不能對復雜的實際工業(yè)系統(tǒng)進行建模。我們還需要：1. 能將需求模塊化并區(qū)分需求等級;2. 能合并各組成部分的需求(或設計);3. 能通過更新預先規(guī)定的變量和設備，防止可能出現(xiàn)的異常。
巧克力娃娃
