《嵌入式可信網路關鍵技術研究》是依託山東大學,由賈智平擔任項目負責人的面上項目。
基本介紹
- 中文名:嵌入式可信網路關鍵技術研究
- 項目類別:面上項目
- 項目負責人:賈智平
- 依託單位:山東大學
《嵌入式可信網路關鍵技術研究》是依託山東大學,由賈智平擔任項目負責人的面上項目。
《嵌入式可信網路關鍵技術研究》是依託山東大學,由賈智平擔任項目負責人的面上項目。中文摘要可信網路(Trusted Network)是可信計算平台與網路接入控制機制的結合,引起了工業界和學術界的廣泛關注。其核心問題是如何將...
《面向嵌入式可信網路的實時性分析研究》是依託山東大學,由鞠雷擔任項目負責人的青年科學基金項目。中文摘要 嵌入式網路作為傳統網際網路的延伸,是物聯網傳輸層的重要組成部分。可信性與實時性作為嵌入式網路系統的核心設計需求,近年來成為...
嵌入式 Internet 是嵌入式技術和Internet技術相結合的產物。其不僅有嵌入式設備的簡便、智慧型、可程式的特點 , 又能通過網際網路這個全球最大的計算機網路能實現高度的信息共享化並能將系統平台延伸到世界的各大信息、經濟交流中心。技術意義 ...
是國內第一個以可信和嵌入式為關鍵技術的國家級工程研究中心。國家工程中心-屬性 國家可信嵌入式軟體工程技術研究中心(簡稱“國家工程中心”)於2013年經國家科技部批准建立,是國內第一個以可信和嵌入式為關鍵技術的國家級工程研究中心。...
嵌入式技術是在Internet的基礎上產生和發展的,因此它具有更加卓越的網路在智慧型家居控制中,具有安全性和能快速地與外界進行信息交換,這就要求計算機對存儲器、運算速度等性能指標要求比較高,而嵌入式系統一般情況下都是小型的專用系統,這樣就...
《高動態捷聯慣性導航系統的高可信嵌入式計算研究》是依託浙江大學,由馬龍華擔任項目負責人的面上項目。項目摘要 高動態捷聯慣性導航系統的可信實時計算問題至今沒有解決,約束特殊環境飛行器的導航套用。高動態捷聯慣性導航系統是一種複雜的...
《基於定理證明的可信嵌入式軟體建模與驗證平台研究》是依託清華大學,由顧明擔任項目負責人的重大研究計畫。項目摘要 隨著信息技術的發展,嵌入式系統在眾多行業中得到廣泛使用。為了避免由於嵌入式軟體系統本身缺陷或系統中微小的錯誤而導致...
《面向嵌入式系統的網構軟體分析方法集成技術研究》是依託中山大學,由陳湘萍擔任項目負責人的青年科學基金項目。中文摘要 嵌入式軟體作為一種典型的網構軟體,其分析往往需要考慮系統不同方面多層次的特性,有著全面、綜合和靈活的分析需求...
《嵌入式多核處理器設計與實現關鍵技術研究》是2019年北京工業大學出版社出版的圖書。內容簡介 合成孔徑雷達(SAR)是一種典型的計算密集型嵌入式套用,並且在軍事、經濟和環境等領域有重要套用價值。《嵌入式多核處理器設計與實現關鍵技術...
本項目在網路嵌入式系統中展開基於事件驅動的代碼診斷方法研究。 在事件記錄方面,項目提出了基於動態二進制插樁和高效字元串壓縮的事件日誌記錄技術Dylog。實驗結果表明,相比TinyOS標準的radio printf庫,Dylog減少了50%的日誌開銷。相比...
中科院院士、國家可信嵌入式軟體工程技術研究中心首席科學家何積豐,鹽城市城南新區管委會主任王旭東分别致辭,並共同為中心揭牌。為了促進科研資源與產業發展的結合,加速科技成果轉化,國家可信嵌入式軟體工程技術研究中心與江蘇省鹽城市城南新區...
《航天嵌入式軟體可信性度量方法與系統》是依託大連理工大學,由周寬久擔任項目負責人的重大研究計畫。項目摘要 規模龐大的航天工程具有大量的嵌入式軟體,而嵌入式軟體本身由於需要處理大量中斷,並具有實時和並發特性而導致系統測試複雜困難。...
《嵌入式軟體低功耗設計關鍵技術研究》是依託四川大學,由郭兵擔任項目負責人的面上項目。項目摘要 在目前全球倡導低碳經濟的背景下,嵌入式系統的功耗是一個日益引起人們關注的熱點問題,其中嵌入式軟體低功耗設計是眾多嵌入式套用的重要支撐...
利用自適應技術探討嵌入式軟體黑箱模型的自適應建模理論和檢測方法。研究模型和屬性的分解,提出系統和組件一致性的驗證方法。將可滿足度方法用於模型檢測中,建立基於可滿足度的推理框架可信的網路推理系統;改進UML模型檢測工具,提出一個...
本書介紹Linux中TCP/IP協定的實現技術,研究討論Linux中TCP/IP協定實現的基本原理,分析有關的原始碼。在此基礎上介紹了嵌入式系統與嵌入式網路設計的基本方法和實例。本書可作為從事嵌入式系統和嵌入式網路開發與套用科技人員的參考書,...
本書涵蓋了Linux嵌入式系統開發中網路體系結構實現的主要內容。全書共分12章,第1章概述Linux核心組件與核心技術特點,以及網路體系結構實現套用到的核心開發的基礎知識。第2~5章在介紹了實現網路體系結構、協定棧、設備驅動程式的兩個最...
《可信雲安全的關鍵技術與實現》適合有志於學習可信雲安全技術的工程人員及大、中專院校相關專業的師生閱讀,也可作為對上述項目進行專題研究人員的參考用書。作者簡介 李虹,多年來一直從事模式識別算法、嵌入式系統、網路系統、密碼學算法...
近三年,安全關鍵性(Safety-Critical)的研究已經成為國際上在分布嵌入式實時系統(以下簡稱系統)領域的最新研究熱點,國內尚處於初始起步階段。本項目擬通過對複合觸髮結構、複合通信協定和多重容錯技術的理論研究,為有效地提高系統的安全...
本課題針對網路空間安全關鍵問題,從安全體系架構和訪問控制等方面出發,對相應關鍵技術及基本原理進行深入研究,形成理論突破,建立有效的應對方法與手段,為建設安全、可控、可靠、可信的網路空間,提供豐富的理論參考和有力的技術支撐。課題...
提高嵌入式系統性能;利用虛擬化技術的資源隔離特性,基於Linux實現Hypervisor,開展嵌入式系統中多作業系統共存研究;為非可信軟體構建安全運行環境,提出在嵌入式實時系統中進行軟體復用的意義和方法,開展針對嵌入式系統軟體復用技術的研究。
本書主要介紹航天嵌入式控制軟體可信保障技術體系及其關鍵技術。首先 從近年來的實際案例提煉出影響航天嵌入式軟體可信性的十大可信問題,針對 這些關鍵可信問題,從問題、階段、方法、工具和度量五個維度進行研究,形成了 具有五維體系結構的...
中國科技部的863計畫開展了可信計算技術的項目專題研究,自然基金委開展了“可信軟體”的重大專項研究計畫支持。在學術領域,中國工程科學院沈昌祥院士、中科院馮登國研究員、武漢大學張煥國教授等在可信計算的理論與技術推廣方面做了很大的貢獻...
本書可作為嵌入式軟體開發相關專業的研究生及高年級大學生教材。同時,也可作為有志於從事嵌入式軟體開發的專業技術人員的參考書。作者簡介 北京市物聯網軟體與系統工程技術中心核心成員,榮獲省部級科學技術獎二等獎2項。獲國家留學基金...
在討論基於VxWorks系統的嵌入式軟體開發方法時,引入大量實例程式,方便讀者理解所討論的內容。《嵌入式軟體技術》可作為自動控制專業、計算機專業等與嵌入式軟體開發相關的高年級本科生與碩士研究生的教材,也可作為從事嵌入式系統軟體開發和...
可信計算涉及硬體、通信和軟體系統等綜合系統,並以硬體的方式嵌入到各種計算終端中,建立完整的驗證體系,通過提高每個終端的安全性來提升整個系統的安全性;同時,多核技術和嵌入式計算因其技術新、易實現、成本低而成為當前的研究與開發...
本項目擬採用理論研究和實證研究相結合的方法,研究可信軟體的系統化開發理論、方法與技術,設計並實現可信軟體開發工具和運行支撐平台及環境。主要研究內容包括:1、可信軟體開發過程模型,重點研究開發過程中的可信保障機制;2、面向可信軟體...