- 一種基于模型檢查的嵌入式軟件驗證方法, 嵌入式軟件廣泛應用于不同領域,如消費電子、工業控制、汽車電子、移動通信等。嵌入式軟件的可靠性保證十分關鍵。嵌入式軟件中常見的錯誤包括狀態機錯誤、時序錯誤、棧溢出/存儲溢出等,在開發過程中對嵌入式軟
- 關鍵字:
驗證 方法 軟件 嵌入式 模型 檢查 基于
- 摘要 基于GP2015射頻芯片和TMS320C6713 I)SP處理器,提出了一種GPS軟件接收機信號實時接收及傳輸的基本方案。介紹了射頻前端的基本構造以及它與DSP進行高速實時傳輸的接口方案,并且重點描述了一種基于EDMA數據傳輸方
- 關鍵字:
接收 傳輸 技術 實時 信號 軟件 接收機 GPS
(vm)軟件介紹
您好,目前還沒有人創建詞條(vm)軟件!
歡迎您創建該詞條,闡述對(vm)軟件的理解,并與今后在此搜索(vm)軟件的朋友們分享。
創建詞條
關于我們 -
廣告服務 -
企業會員服務 -
網站地圖 -
聯系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司

京ICP備12027778號-2 北京市公安局備案:1101082052 京公網安備11010802012473