技術(shù)編號(hào)：6418888
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒(méi)有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明涉及分析基于狀態(tài)的系統(tǒng)模型的方法，該系統(tǒng)模型包括獨(dú)立的權(quán)利要求1、11和29中陳述的一組自動(dòng)機(jī)?？紤]到市場(chǎng)的許多產(chǎn)品部分包含的軟件量不斷增長(zhǎng)，并且所述部分中產(chǎn)品越來(lái)越多地傾向于僅由包含的軟件，而不是所用硬件的性能差別來(lái)區(qū)分，一般的軟件設(shè)計(jì)在錯(cuò)誤識(shí)別和消除以及短期開發(fā)期限方面將會(huì)提出更高的要求。相關(guān)的許多例子之一可以體現(xiàn)在汽車工業(yè)。即使批量生產(chǎn)的汽車包括的專用微處理器的數(shù)量也不斷增長(zhǎng)。這些微處理器可以例如專用于控制ABS、燃料噴射、燈光控制、不同類型的...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類技術(shù)沒(méi)有源代碼，用于學(xué)習(xí)研究技術(shù)思路。