電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
內(nèi)存管理系統(tǒng)位于操作系統(tǒng)內(nèi)核的最底層，為上層提供內(nèi)存分配和回收機(jī)制．在航天器這類安全攸關(guān)的關(guān)鍵系統(tǒng)中，其可靠性和安全性至關(guān)重要，必須要考慮到強(qiáng)實(shí)時性、有限空間限制、高分配效率以及各種邊界條件約束，因此，系統(tǒng)通常采用較為復(fù)雜的數(shù)據(jù)結(jié)構(gòu)和算法來管理內(nèi)存空間，同時需要采用非常嚴(yán)格的形式化方法來保證航天器這類安全攸關(guān)系統(tǒng)的高可信性．對復(fù)雜內(nèi)存管理系統(tǒng)的形式化驗(yàn)證也會比之前的驗(yàn)證工作帶來更多難題，主要體現(xiàn)在：內(nèi)存管理模塊中的復(fù)雜數(shù)據(jù)結(jié)構(gòu)的形式化描述，操作的規(guī)范語義，行為的建模，內(nèi)部函數(shù)的規(guī)范及斷言定義與循環(huán)不變式的定義，實(shí)時性驗(yàn)證等方面．針對這些問題，深入分析實(shí)際的航天器操作系統(tǒng)內(nèi)存管理系統(tǒng)的特性：探索基于分層迭代的語義描述與驗(yàn)證的一般性方法與理論，并應(yīng)用這些理論方法來驗(yàn)證一個具有實(shí)際應(yīng)用的航天嵌入式操作系統(tǒng)的內(nèi)存管理系統(tǒng)．該研究成果有望直接應(yīng)用于我國新一代的航天器系統(tǒng)．
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 下次火星之旅前，您需要了解的七個航天器子系統(tǒng)
- 基于代理的航天器自主健康故障仿真驗(yàn)證系統(tǒng) 11次下載
- 多航天器交會對接精密時間基準(zhǔn)方法研究 7次下載
- 多航天器交會對接的聯(lián)合閉環(huán)測試系統(tǒng) 7次下載
- 航天器在軌狀態(tài)基線控制系統(tǒng)設(shè)計(jì)方案 14次下載
- 通用高可靠性航天器供配電測試設(shè)備的設(shè)計(jì)方案 21次下載
- 基于圖像輪廓檢測的航天器目標(biāo)跟蹤控制系統(tǒng) 34次下載
- 基于CPCI總線的航天器通信信號設(shè)備故障檢測 12次下載
- 基于物聯(lián)網(wǎng)和ADRC的航天器在軌姿態(tài)監(jiān)測系統(tǒng) 13次下載
- 基于業(yè)務(wù)/數(shù)據(jù)中臺的多航天器綜合評估系統(tǒng)架構(gòu) 6次下載
- 航天器姿態(tài)動力學(xué)與控制的詳細(xì)資料說明 2次下載
- 航天器姿態(tài)跟蹤系統(tǒng)自適應(yīng)滑模控制_李隆 4次下載
- 面向航天器艙布局CAD系統(tǒng)的公理化設(shè)計(jì)研究 0次下載
- 航空航天器供電系統(tǒng)
- 基于模型的航天器在軌傳感器故障診斷方法
- 航空航天領(lǐng)域中的GaN功率器件（上） 1409次閱讀
- Linux內(nèi)核內(nèi)存管理架構(gòu)解析 686次閱讀
- 航空航天電線電纜的應(yīng)用 917次閱讀
- 衛(wèi)星抗輻射加固設(shè)計(jì)方案 3531次閱讀
- 使用MM32F3270基于Azure RTOS動態(tài)內(nèi)存管理的應(yīng)用 992次閱讀
- 內(nèi)存的基本概念以及操作系統(tǒng)的內(nèi)存管理算法 1794次閱讀
- 太空任務(wù)的熱管理設(shè)計(jì) 1889次閱讀
- Linux內(nèi)存管理體系介紹 1670次閱讀
- Linux內(nèi)存管理之伙伴系統(tǒng) 1335次閱讀
- 可重復(fù)使用航天器都有哪些類型？淺談航天器的發(fā)展過程 2895次閱讀
- 基于儀器總線平臺和傳感器技術(shù)設(shè)計(jì)航天器動力學(xué)綜合測試系統(tǒng) 775次閱讀
- 嵌入式系統(tǒng)內(nèi)存管理機(jī)制詳解 4553次閱讀
- 如何管理Linux 的內(nèi)存分頁？ 3818次閱讀
- 一文讀懂 Spark 內(nèi)存管理 974次閱讀
- Linux系統(tǒng)內(nèi)存管理的特點(diǎn)詳解 4048次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 2次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 53314A函數(shù)發(fā)生器維修手冊
- 16.30 MB | 31次下載 | 免費(fèi)
- 6美的電磁爐維修手冊大全
- 1.56 MB | 24次下載 | 5 積分
- 7如何正確測試電源的紋波
- 0.36 MB | 17次下載 | 免費(fèi)
- 8感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評論