《面向嵌入式可信網路的實時性分析研究》是依託山東大學,由鞠雷擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名:面向嵌入式可信網路的實時性分析研究
- 項目類別:青年科學基金項目
- 項目負責人:鞠雷
- 依託單位:山東大學
《面向嵌入式可信網路的實時性分析研究》是依託山東大學,由鞠雷擔任項目負責人的青年科學基金項目。
《面向嵌入式可信網路的實時性分析研究》是依託山東大學,由鞠雷擔任項目負責人的青年科學基金項目。中文摘要嵌入式網路作為傳統網際網路的延伸,是物聯網傳輸層的重要組成部分。可信性與實時性作為嵌入式網路系統的核心設計需求,近年來成...
針對這些問題,本課題開展基於實時演算的複雜嵌入式系統實時性能分析方法的研究。通過解決面向並行負載與資源結構的實時演算建模與分析方法,高效的實時演算與時間自動機聯合建模與分析方法,有限區間實時演算分析方法等問題,來對複雜嵌入式系統...
《嵌入式可信網路關鍵技術研究》是依託山東大學,由賈智平擔任項目負責人的面上項目。中文摘要 可信網路(Trusted Network)是可信計算平台與網路接入控制機制的結合,引起了工業界和學術界的廣泛關注。其核心問題是如何將信任鏈從終端擴展到...
實現了面向有線網及無線網的嵌入式集群實驗平台。研製了基於Infineon 9645/9670可信晶片的擴展模組,並部署在嵌入式集群上,最終實現了可信功能安全調度算法、可信功能共享、可信模組融合等算法協定的部署及測試,...
《嵌入式實時系統:調度分析和驗證》是2015年12月北京航空航天大學出版社出版的圖書,作者是[美] 阿爾伯特陳。內容簡介 本書面向嵌入式實時系統,較系統地論述基本的實時調度算法、調度性分析方法,說明引入形式化方法的要性,並為實時系統...
《面向嵌入式系統的網構軟體分析方法集成技術研究》是依託中山大學,由陳湘萍擔任項目負責人的青年科學基金項目。中文摘要 嵌入式軟體作為一種典型的網構軟體,其分析往往需要考慮系統不同方面多層次的特性,有著全面、綜合和靈活的分析需求...
《航天嵌入式軟體可信性度量方法與系統》是依託大連理工大學,由周寬久擔任項目負責人的重大研究計畫。項目摘要 規模龐大的航天工程具有大量的嵌入式軟體,而嵌入式軟體本身由於需要處理大量中斷,並具有實時和並發特性而導致系統測試複雜困難。...
對於CAN-FlexRay網路,則著重於建立臨界時刻的實時分析理論,並提高算法分析的運行效率。 (3)調度算法。針對車用網路的實時性和安全攸關性等特點,我們以信息物理融合系統的觀點為指導,詳細研究了面向可預測性和可靠性的訊息調度算法。...
《面向嵌入式系統綠色需求的編譯理論與方法研究》是依託武漢大學,由何炎祥擔任項目負責人的面上項目。項目摘要 隨著各種嵌入式設備的廣泛普及和套用,其產生的能耗、電子垃圾等對環境的影響越來越嚴重,如何對其上運行的軟體進行控制,減少...
網路技術研究中心面向網路技術的發展趨勢和國家需求,致力於新一代網際網路的基礎理論和關鍵技術研究。新一代網際網路領域的研究主要集中在移動網際網路和可信網際網路兩個方面。在移動網際網路方面,分析移動網際網路體系的業務模式和套用需求,開展移動...