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