基于Petri網的嵌入式軟件組件的實時性研究
所屬分類：技術論文
上傳者：aet
文檔大小：181 K
標簽： 嵌入式操作系統
所需積分：0分積分不夠怎么辦？
文檔介紹：根據嵌入式系統軟件的特點和發展需求，設計了一種新的嵌入式軟件組件模型SECOM，給出了模型的基本組成元素。同時，利用時間Petri網TPN建立一個TPN計時器timer，對該組件模型SECOM非功能性約束中的實時性進行建模與分析, 形式化地驗證了該組件的實時性。
現在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 欧美日韩国产综合视频一区二区三区 | 最近高清中文在线国语视频完整版| 国产麻豆精品入口在线观看| 两个人看的日本高清电影| 日韩欧美一区二区三区四区| 亚洲制服丝袜中文字幕| 欲乱美女诗涵番外5| 免费A级毛片无码无遮挡| 精品国产系列在线观看| 国产精品国产亚洲精品看不卡 | 欧美喷潮久久久XXXXx| 亚洲男女一区二区三区| 狠狠躁夜夜躁av网站中文字幕 | 尹人香蕉网在线观看视频| 中文字幕热久久久久久久| 日韩在线永久免费播放| 亚洲av日韩综合一区久热| 精品丝袜国产自在线拍亚洲| 四虎精品1515hh| 色婷婷亚洲综合| 国产乱码卡一卡2卡三卡四| 香蕉视频国产在线观看| 国产成人一区二区三区精品久久| 色综合久久天天影视网| 国产精品亚洲综合网站| 2021国产精品露脸在线| 国产精品高清一区二区人妖| 97色在线视频观看香蕉| 夜夜燥天天燥2022| chinese乱子伦xxxx国语对白| 好好的曰com久久| 一区二区三区视频在线观看| 性欧美高清come| 七次郎在线视频观看精品| 成人影院在线观看视频| 中文字幕亚洲色图| 我要看a级毛片| 中文字幕乱码一区二区免费| 新国产三级在线观看播放| 中文成人无字幕乱码精品区| 搡女人真爽免费视频大全 |