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