模型校驗(yàn)

關(guān)注人關(guān)注

我要報(bào)錯(cuò)

基于有限狀態(tài)機(jī)的嵌入式系統(tǒng)模型校驗(yàn)技術(shù)

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

嵌入式硬件
2018-06-25

嵌入式開(kāi)發(fā) 嵌入式系統(tǒng) 有限狀態(tài)機(jī) 模型校驗(yàn)