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