《可信的航天嵌入式控制軟體開發技術》是2017年國防工業出版社出版的圖書,作者是楊孟飛。
基本介紹
- 中文名:可信的航天嵌入式控制軟體開發技術
- 作者:楊孟飛等
- 出版時間:2017年12月
- 出版社:國防工業出版社
- 頁數:176 頁
- ISBN: 9787118112665
- 定價:62.00 元
- 開本:16 開
- 裝幀: 精裝
《可信的航天嵌入式控制軟體開發技術》是2017年國防工業出版社出版的圖書,作者是楊孟飛。
《可信的航天嵌入式控制軟體開發技術》是2017年國防工業出版社出版的圖書,作者是楊孟飛。內容簡介本書主要介紹航天嵌入式控制軟體可信保障技術體系及其關鍵技術。首先 從近年來的實際案例提煉出影響航天嵌入式軟體可信性的十大可信...
《航天高可靠嵌入式實時作業系統原理與技術》是2012年8月中國宇航出版社出版的圖書,作者程勝、蔡銘。內容介紹 嵌入式軟體是航天型號軟體系統的關鍵組成部分。隨著航天型號的快速發展,嵌入式軟體規模及複雜度呈快速遞增態勢。為了降低軟體...
《航天嵌入式軟體可信性度量方法與系統》是依託大連理工大學,由周寬久擔任項目負責人的重大研究計畫。項目摘要 規模龐大的航天工程具有大量的嵌入式軟體,而嵌入式軟體本身由於需要處理大量中斷,並具有實時和並發特性而導致系統測試複雜困難。...
《航天多核嵌入式軟體可信驗證與系統原型》是依託大連理工大學,由周寬久擔任項目負責人的面上項目。項目摘要 嵌入式多核處理器具有較強處理能力,在航天系統得到廣泛套用。多核並發程式訪問共享變數時間和順序的隨機性,導致多核嵌入式軟體...
對於飛機飛行控制計算機、飛彈制導控制計算機和星載計算機這3種典型的航空航天嵌入式計算機,首先對它們的體系架構進行分析,找出它們的共性技術。這些計算機的架構示意圖如圖1所示,主要架構特徵如表1所列。航空航天領域的嵌入式計算機因其承載...
《嵌入式實時系統的DSP軟體開發技術》是2011年1月北京航空航天大學出版社出版的一本圖書,作者是Robert Oshana。內容簡介 《嵌入式實時系統的dsp軟體開發技術》詳細介紹了dsp在嵌入式實時系統設計中的軟體開發方法,是探討dsp軟體設計技術的...
是國內第一個以可信和嵌入式為關鍵技術的國家級工程研究中心。國家工程中心-屬性 國家可信嵌入式軟體工程技術研究中心(簡稱“國家工程中心”)於2013年經國家科技部批准建立,是國內第一個以可信和嵌入式為關鍵技術的國家級工程研究中心。...
套用軟體是嵌入式系統中的上層軟體,它定義了嵌入式設備的主要功能和用途,並負責與用戶進行互動。套用軟體是嵌入式系統功能的體現,如飛行控制軟體、手機軟體、MP3播放軟體、電子地圖軟體等,一般面向特定的套用領域。支撐軟體 支撐軟體是指...
《嵌入式系統可靠性設計技術及案例解析》是2012年出版的圖書,作者是武曄卿。適用於交通控制、電力電子、消費電子、醫療電子、控制電子、軍工產品等以電子、機電一體化為主體內容的相關技術領域,既可作為工程技術人員的技術參考書,也可作為...
第4—7章介紹了嵌入式linux系統開發的內容,包括引導啟動代碼、linux核心移植以及linux驅動開發的內容。第8—10章介紹了套用層面的開發內容,包括多進程的控制和通信、多執行緒的控制與編程以及程式調試的相關內容。《嵌入式linux開發技術》可...
嵌入式系統工程(embedded system)就是單片機技術, 4位-32位處理器作為硬體,配以軟體控制, 原理和計算機沒有區別, 使用於工業控制、家電、通信、 軍用設備等多領域,另外 如手機、MP3、MP4、數瑪相機、 電動玩具, 這些商品都採用...
第二部分介紹嵌入式系統軟體在汽車領域、軌道交通領域、航天領域、醫療器械、工業自動化、通信系統中的套用,在每個套用領域重點介紹具體套用領域的一些特定需求、技術和限制條件,以及它們對於嵌入式系統軟體開發過程的影響。
楊孟飛主要從事空間飛行器系統總體、控制系統和高可靠控制計算機等方面研究和開發。人物經歷 1962年10月1日,楊孟飛出生於湖南省岳陽市湘陰縣。1982年,從西北電訊工程學院(現西安電子科技大學)畢業,獲得學士學位,之後考入中國空間技術研究...