| 基于Petri网的嵌入式软件组件的实时性研究 | |
| 所屬分類：技术论文 | |
| 上傳者：aet | |
| 文檔大?。?span>181 K | |
| 標簽： 嵌入式操作系统 | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹：根据嵌入式系统软件的特点和发展需求，设计了一种新的嵌入式软件组件模型SECOM，给出了模型的基本组成元素。同时，利用时间Petri网TPN建立一个TPN计时器timer，对该组件模型SECOM非功能性约束中的实时性进行建模与分析, 形式化地验证了该组件的实时性。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權(quán)所有 京ICP備10017138號-2