電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
在航天技術日新月異發展的今天，人類為了更有效地探索和研究太空，需要基于計算機
技術的、功能強大的、可靠性非常高的航天系統和設備支持，航天軟件則是這些系統和設備的靈魂。因此研究高質量、設計合理、運行可靠的航天軟件具有重要的意義。
國內外的眾多事例已經表明，當代飛行器的大量災難性事故是由軟件故障引起的，因此
如何減少軟件缺陷，提高航天軟件的可靠性已經成為軟件界面臨的嚴峻挑戰[1]。軟件可靠性是最重要的軟件特性[2]，而航天軟件具有高實時性、工作環境惡劣、高精度、長壽命、工作期間無法直接人為干預等特點，因此對其進行高可靠性的設計尤為重要。而充分的軟件測試是當前提高軟件可靠性的有效手段，亦是軟件質量保證的關鍵步驟，軟件錯誤往往是在設計時形成的，與硬件錯誤相比更難看到、更難檢測，那么在航天軟件設計中充分考慮可測性則是非常必要的。
星載微波探測儀是某衛星的有效載荷，其軟件運行的安全可靠和正確穩定是保證該載荷
成功完成探測任務的重要環節。本文提出了將軟件時序表化的設計方法，即將整個軟件設計為一張時序表，軟件設計中傳統的順序執行結構和循環執行結構替換為查時序表執行，使微波探測儀軟件具有結構簡單、模塊功能和結構松散、易更改、可測性好、安全可靠等優點。
技術的、功能強大的、可靠性非常高的航天系統和設備支持，航天軟件則是這些系統和設備的靈魂。因此研究高質量、設計合理、運行可靠的航天軟件具有重要的意義。
國內外的眾多事例已經表明，當代飛行器的大量災難性事故是由軟件故障引起的，因此
如何減少軟件缺陷，提高航天軟件的可靠性已經成為軟件界面臨的嚴峻挑戰[1]。軟件可靠性是最重要的軟件特性[2]，而航天軟件具有高實時性、工作環境惡劣、高精度、長壽命、工作期間無法直接人為干預等特點，因此對其進行高可靠性的設計尤為重要。而充分的軟件測試是當前提高軟件可靠性的有效手段，亦是軟件質量保證的關鍵步驟，軟件錯誤往往是在設計時形成的，與硬件錯誤相比更難看到、更難檢測，那么在航天軟件設計中充分考慮可測性則是非常必要的。
星載微波探測儀是某衛星的有效載荷，其軟件運行的安全可靠和正確穩定是保證該載荷
成功完成探測任務的重要環節。本文提出了將軟件時序表化的設計方法，即將整個軟件設計為一張時序表，軟件設計中傳統的順序執行結構和循環執行結構替換為查時序表執行，使微波探測儀軟件具有結構簡單、模塊功能和結構松散、易更改、可測性好、安全可靠等優點。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 關于MSP430的多探頭核輻射劑量率儀研制 13次下載
- 微波系統時序輸入電壓控制電路 1次下載
- 簡易照明電路探測儀 13次下載
- STM32單片機的酒精濃度探測儀設計 36次下載
- 地下管線探測儀的分類和介紹及4個標準的介紹 11次下載
- DKL生命探測儀資料 1次下載
- 生命探測儀的技術研究 19次下載
- 基于OpenGL的飛行物定位探測儀動態模擬胡文平 0次下載
- 新型智能無線管道探測儀的設計_張春友 2次下載
- NE555制作簡單實用的穴位探測儀 6次下載
- 便攜式位置探測儀信號接收裝置電路設計 55次下載
- 音頻生命探測儀
- 基于二次時差法的隧道施工探測儀的設計與實現
- CAN總線在某探測儀上的應用研究
- 智能微波治療儀及其控制系統設計
- 靜態時序分析的基本概念和方法 1247次閱讀
- 采用嵌入式操作系統和PID控制技術實現智能微波治療儀的設計 3173次閱讀
- FPGA時序約束的建立和保持時間方法 3400次閱讀
- dfrobot微波運動傳感器簡介 2201次閱讀
- 微波感應開關原理_微波感應開關接線方法 8306次閱讀
- 生命探測儀的原理_雷達生命探測儀的性能敘述 1.6w次閱讀
- 微波EDA電磁場仿真軟件評述 2066次閱讀
- cd4046應用電路圖大全（金屬探測儀/頻率計/充電器/信號發生器） 3w次閱讀
- 跌倒探測儀系統架構設計分析 1288次閱讀
- 基于矩量法仿真的微波EDA 仿真軟件分析 1331次閱讀
- 微波EDA仿真軟件詳細介紹 2791次閱讀
- 天線轉動的微波輻射計數控單元設計 877次閱讀
- 基于MCU的無線行駛記錄儀硬軟件設計 2054次閱讀
- 金屬探測儀原理圖 1.3w次閱讀
- 金屬探測儀的工作原理 3.5w次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網監
評論