日本黄色一级经典视频|伊人久久精品视频|亚洲黄色色周成人视频九九九|av免费网址黄色小短片|黄色Av无码亚洲成年人|亚洲1区2区3区无码|真人黄片免费观看|无码一级小说欧美日免费三级|日韩中文字幕91在线看|精品久久久无码中文字幕边打电话

<p id="g9479"><form id="g9479"><blockquote id="g9479"></blockquote></form></p>

<ruby id="g9479"></ruby><menuitem id="g9479"></menuitem>

<span id="g9479"><progress id="g9479"></progress></span>

<style id="vxjm4"><progress id="vxjm4"><pre id="vxjm4"></pre></progress></style>

模型校驗

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

我要報錯

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

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

嵌入式硬件
2018-06-25

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

<style id="y9u8a"><progress id="y9u8a"><track id="y9u8a"></track></progress></style>