基于Petri網(wǎng)的嵌入式軟件組件的實(shí)時(shí)性研究
所屬分類：技術(shù)論文
上傳者：aet
文檔大小：181 K
標(biāo)簽： 嵌入式操作系統(tǒng)
所需積分：0分積分不夠怎么辦？
文檔介紹：根據(jù)嵌入式系統(tǒng)軟件的特點(diǎn)和發(fā)展需求，設(shè)計(jì)了一種新的嵌入式軟件組件模型SECOM，給出了模型的基本組成元素。同時(shí)，利用時(shí)間Petri網(wǎng)TPN建立一個(gè)TPN計(jì)時(shí)器timer，對(duì)該組件模型SECOM非功能性約束中的實(shí)時(shí)性進(jìn)行建模與分析, 形式化地驗(yàn)證了該組件的實(shí)時(shí)性。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。