無人機無人車商飛國產自主平臺仿真軟件SkyEye應用介紹
隨著中美貿易戰越打越烈，我們很多產品尤其是**（導彈、衛星等）、航空航天、核電、高鐵、通訊、無人機等使用異構多處理器和多核處理器來運行多個軟件棧和操作系統，有時這些系統還會作為大型系統的一部分，通過總線、背板、局域網與因特網進行互聯。由于系統日益復雜且對系統間互聯的要求不斷提高，傳統的開發工具和流程在面對這些系統的調試、集成和測試時顯得力不從心。在這種情況下，清華大學康教授為**CTO（嵌入式虛擬機SkyEye和可信編譯器L2C的開 發者）的技術團隊打造了仿真測試工具SkyEye為開發人解決了多項測試難題。無人機無人車商飛國產自主平臺仿真軟件SkyEye應用介紹
目前SkyEye已經用在幾十家國內大型**企業得到應用，如：十二大**集團的八家:中核，中航工業，航天科技，航天 科工，中國電子，中國電科，中船，商發，中核股份等。
主要產品 1) 全數字實時仿真SkyEye(1個**和4個軟著)國產自主平臺仿真軟件SkyEye應用介紹
原理和功能:仿真了主流的嵌入式硬件系統，可以運行和真實 環境一致的軟件。
解決問題:可以在沒有真實硬件的條件下進行軟件開發，調試 和測試。提供了軟件開發效率，縮短軟件開發周期，提高軟件 可靠性。
2) 代碼自動生成工具L2c(2個申請中的**和1個軟著)§ 原理和功能:使用了定理證明的技術來把系統模型生成正確的軟件實現，保證在翻譯過程中不會有錯誤。解決問題:保證了模型和代碼實現的一致性。可以認為軟件實 現是完全正確的，沒有bug的(bugfree)。無人機無人車商飛國產自主平臺仿真軟件SkyEye應用介紹
埃登威自動化系統設備（上海）有限公司
聯系人：劉工可直接加微信在線交流18939876302 聯系電話：021-55581219菲美特微量氧分析儀POA200 傳真號碼：021-55581219菲美特露點儀DPT600Plus 移動電話：18939876302加別猶豫,微信同號
Email：adevchina@126.com
公司網址：www.gdbanwu.com
公司地址：上海市普陀區中山北路1759弄浦發廣場D座1714室激光氧分析儀
主營:微量氧分析儀,藥品殘氧儀,露點儀,熱導氣體分析儀,OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃氣熱值儀,Kaye溫度驗證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點儀,干燥機露點儀,激光氣體分析儀, 便攜式露點儀,便攜式微量氧分析儀，離心機氧分析儀|GE流量計 氧量分析儀 氮氣氧分析儀fei 代表處,辦事處,分公司,子公司,總代理,分析儀價格,分析儀維修,分析儀校準
滬公網安備 31010902002456號
