| 基于Petri網(wǎng)的嵌入式軟件組件的實(shí)時性研究 | |
| 所屬分類：技術(shù)論文 | |
| 上傳者：aet | |
| 文檔大?。?span>181 K | |
| 標(biāo)簽： 嵌入式操作系統(tǒng) | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：根據(jù)嵌入式系統(tǒng)軟件的特點(diǎn)和發(fā)展需求，設(shè)計了一種新的嵌入式軟件組件模型SECOM，給出了模型的基本組成元素。同時，利用時間Petri網(wǎng)TPN建立一個TPN計時器timer，對該組件模型SECOM非功能性約束中的實(shí)時性進(jìn)行建模與分析, 形式化地驗證了該組件的實(shí)時性。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
aet 的最新分享
- GBT15834-2011 標(biāo)點(diǎn)符號用法
- GB 15835—2011 出版物上數(shù)字用法
- 學(xué)術(shù)出版規(guī)范 表格（CYT170—2019）
- 學(xué)術(shù)出版規(guī)范插圖（CYT171—2019）
- 學(xué)術(shù)出版規(guī)范 期刊學(xué)術(shù)不端行為界定（CYT174-2019）
- GB7714-2015 信息與文獻(xiàn) 參考文獻(xiàn)著錄規(guī)則
- 破解數(shù)據(jù)要素流動與隱私保護(hù)相沖突的局-方濱興
- 工業(yè)互聯(lián)網(wǎng)網(wǎng)絡(luò)安全實(shí)驗室建設(shè)思路與實(shí)踐
Copyright ? 2005-2024 華北計算機(jī)系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號-2