電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
軟件簡介
One OS 簡介
One OS是一個專注于可靠性和簡易可用的小型實時系統。它通過采取形式化方法來確保系統的可靠性。所有的實時操作系統必備的功能它都具備，但是并不在此基礎上提供更多可選組件以確保內核的精煉性。這樣，得到的內核就是一個最小化的內核，可以很方便地對它進行形式化驗證。同時，它還可以作為客戶操作系統運行在虛擬機監視器上。
本系統比一個全功能系統的相比要小得多，而且理解起來應該也相對容易得多。即便本系統僅僅包含了一個.C文件，它仍然提供了高效的內存管理，抗鋸齒圖形界面庫和其他實用函數，并且這些功能的實現都不消耗任何額外的RAM！
形式化方法簡介
傳統的軟件設計方法基于自然語言的思考、設計和描述，往往片面和模糊，極易引起誤解。它也無法進行嚴格的檢查，只能通過人的心智進行分析?；?UML 等半形式化的方法采用一些相對清晰的圖形化描述，一些工具也能自動生成代碼框架并檢查分析。以上兩種方法在測試系統時，均是設計一系列用例對其進行測試，最多有結構化測試的參與。但是，它們都無法保證系統中沒有錯誤，均不適用于性命攸關的系統的分析和開發，因此我們需要更為嚴格的開發設計流程。完全的形式化方法則基于嚴格定義的數學概念和語言，可以開發自動化工具進行檢查和分析。它把數學的嚴格性帶入軟件開發的各個階段，通過嚴格的數學證明保證系統中沒有漏洞和錯誤。
One OS的組件和接口示例及性能數據
請參見此鏈接
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 實時操作系統mC/OS Ⅱ分析 0次下載
- 嵌入式實時操作系統μC、OS-II在ARM上的移植.
- 以μC OS-III為例的嵌入式實時操作系統概述 8次下載
- 小型光儲系統實時經濟運行方法 3次下載
- μC/OS-II的多任務系統實時性解析 2次下載
- 嵌入式實時操作系統μC_OS_在LPC1788上的移植及應用 10次下載
- 小型微控制器上的實時操作系統 0次下載
- 嵌入式實時操作系統uC/OS-II內核_英版 0次下載
- 如何使用rtx51小型實時操作系統
- 實時操作系統OS-II在ARM7上的移植
- 基于uC OS和雙MCU的數控系統研制
- 基于μC/OS-Ⅱ的實時分層調度算法研究
- 實時操作系統μC/OS-II調度算法的研究
- 實時操作系統μC OS - II下TCP IP 協議棧的實現
- 如何提高移植uC/OS-Ⅱ的ARM嵌入式系統執行效率和實時性
- FreeRTOS：一個迷你的實時操作系統內核 1017次閱讀
- 什么是cola_os？ 1656次閱讀
- Linux是實時系統還是分時操作系統? 1573次閱讀
- cola_os的分析及使用 1353次閱讀
- RTA-OS實時操作系統中的Task對象 3479次閱讀
- 基于實時嵌入式操作系統mC/OS-II實現GPRS終端系統的設計 2408次閱讀
- 基于嵌入式工控模塊和μC/OS-II實現車載狀態監控系統的設計 2064次閱讀
- μC/OS-II操作系統移植在LPC2378上的系統測試及問題解決方法 1157次閱讀
- 米爾科技嵌入式實時操作系統介紹 2348次閱讀
- 51單片機對μC/OS-II實時操作系統的移植 2509次閱讀
- 淺論uC/OS-II 在電動車電池管理系統中的應用研究 1437次閱讀
- 如何安裝實時操作系統RTOS 6275次閱讀
- uC/OS和uClinux操作系統的區別 4534次閱讀
- uC/OS-III的特點 2241次閱讀
- 利用μC/OS-II的嵌入式激光測距系統 2082次閱讀
上傳資料賺積分下載排行
本周
- 1A7159和A7139射頻芯片的資料免費下載
- 0.20 MB | 55次下載 | 5 積分
- 2PIC12F629/675 數據手冊免費下載
- 2.38 MB | 36次下載 | 5 積分
- 3PIC16F716 數據手冊免費下載
- 2.35 MB | 18次下載 | 5 積分
- 4dsPIC33EDV64MC205電機控制開發板用戶指南
- 5.78MB | 8次下載 | 免費
- 5STC15系列常用寄存器匯總免費下載
- 1.60 MB | 7次下載 | 5 積分
- 6模擬電路仿真實現
- 2.94MB | 4次下載 | 免費
- 7PCB圖繪制實例操作
- 2.92MB | 2次下載 | 免費
- 8零死角玩轉STM32F103—指南者
- 26.78 MB | 1次下載 | 1 積分
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 452次下載 | 免費
- 2免費開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 141次下載 | 1 積分
- 3基于STM32單片機智能手環心率計步器體溫顯示設計
- 0.10 MB | 137次下載 | 免費
- 4A7159和A7139射頻芯片的資料免費下載
- 0.20 MB | 55次下載 | 5 積分
- 5PIC12F629/675 數據手冊免費下載
- 2.38 MB | 36次下載 | 5 積分
- 6如何正確測試電源的紋波
- 0.36 MB | 19次下載 | 免費
- 7PIC16F716 數據手冊免費下載
- 2.35 MB | 18次下載 | 5 積分
- 8Q/SQR E8-4-2024乘用車電子電器零部件及子系統EMC試驗方法及要求
- 1.97 MB | 8次下載 | 10 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191367次下載 | 10 積分
- 5十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具MDK-Arm免費下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網監
評論