面向物聯網的嵌入式系統可信驗證技術研究

2014年

基礎理論

成果簡介

“面向物聯網的嵌入式系統可信驗證技術研究”項目契合了我國大規模物聯網開發與利用的需要，在基于物聯網是嵌入式系統網絡化這一理念的基礎上，進一步提出了由多個緊密耦合的嵌入式設備構成一個相對獨立的嵌入式系統，一個物聯網由多個這樣的嵌入式系統通過網絡連接而成，從而為利用現有的實時嵌入式系統技術來分析物聯網奠定了理論基礎。該項目分別研究了基于場景規約的嵌入式系統可信驗證、復雜嵌入式系統的基于假設-保...

相關成果

1. 面向物聯網應用的安全體系研究及驗證
2. 可信網絡軟件的驗證與測試
3. 異構可信物聯網關鍵技術研究
4. 面向泛在網業務需求的服務可信性計算技術研究
5. 基于行為認證的電子銀行可信軟件驗證試驗環境研究
6. 基于物聯網的環境溫濕度監控驗證技術研究
7. 基于驗證與測試協同的網絡軟件可信性確認方法
8. 面向功能的嵌入式系統測試技術及其應用
9. 物聯網驗證與應用示范研究
10. 面向關鍵任務的高可信軟件分析與測試技術
12. 基于模型檢測的功能性能統一的軟件可信驗證方法研究
13. 可信軟件設計開發與驗證的基礎理論與關鍵技術
14. 物聯網應用的嵌入式系統優化軟件設計與實現
15. 物聯網應用的嵌入式系統優化軟件設計與實現
16. 面向領域的可信嵌入式軟件開發環境
17. 面向Web服務的軟件測試和驗證理論與方法
18. 基于軟件園云計算應用的嵌入式系統可靠性測試與驗證平臺
19. 龍芯嵌入式系統與物聯網關鍵技術及應用產品
20. 面向互聯網的仿冒網站主動發現與驗證平臺

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

面向物聯網的嵌入式系統可信驗證技術研究

標簽云

猜您想要的成果

相關專家

相關機構


	選擇導出文檔的格式關閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關閉發送短信成功


	提示信息關閉發送短信失敗


	提示信息關閉發送郵件失敗


	提示信息關閉郵件發送成功