技術(shù)編號(hào)：6424356
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒(méi)有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明總體涉及使用形式化方法對(duì)嵌入式系統(tǒng)的定時(shí)分析，特別地，涉及用于形式化建模和使用日歷自動(dòng)機(jī)對(duì)所述系統(tǒng)的定時(shí)分析的計(jì)算機(jī)可執(zhí)行方法。背景技術(shù)用于嵌入式系統(tǒng)的定時(shí)分析的現(xiàn)有方法包括分析性的、基于模擬的隨機(jī)方法。這些方法提供不精確的分析。使用可調(diào)度性分析和實(shí)時(shí)微積分的分析方法給出安全近似值 (approximations)。然而，由于它們不能處理所考慮系統(tǒng)的一些操作細(xì)節(jié)，其結(jié)果可能非常悲觀。隨機(jī)方法對(duì)于平均情況分析是有益的，但不適合于最壞情況分析。此外，這些...
注意：該技術(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ù)思路。