電子發燒友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：一個迷你的實時操作系統內核 828次閱讀
- 什么是cola_os？ 1335次閱讀
- Linux是實時系統還是分時操作系統? 1414次閱讀
- cola_os的分析及使用 1123次閱讀
- RTA-OS實時操作系統中的Task對象 3108次閱讀
- 基于實時嵌入式操作系統mC/OS-II實現GPRS終端系統的設計 2253次閱讀
- 基于嵌入式工控模塊和μC/OS-II實現車載狀態監控系統的設計 1908次閱讀
- μC/OS-II操作系統移植在LPC2378上的系統測試及問題解決方法 1055次閱讀
- 米爾科技嵌入式實時操作系統介紹 2181次閱讀
- 51單片機對μC/OS-II實時操作系統的移植 2385次閱讀
- 淺論uC/OS-II 在電動車電池管理系統中的應用研究 1313次閱讀
- 如何安裝實時操作系統RTOS 6104次閱讀
- uC/OS和uClinux操作系統的區別 4407次閱讀
- uC/OS-III的特點 2091次閱讀
- 利用μC/OS-II的嵌入式激光測距系統 1993次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數據手冊
- 1.06 MB | 532次下載 | 免費
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費
- 3TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費
- 5元宇宙深度解析—未來的未來-風口還是泡沫
- 6.40 MB | 227次下載 | 免費
- 6迪文DGUS開發指南
- 31.67 MB | 194次下載 | 免費
- 7元宇宙底層硬件系列報告
- 13.42 MB | 182次下載 | 免費
- 8FP5207XR-G1中文應用手冊
- 1.09 MB | 178次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33566次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關電源設計實例指南
- 未知 | 21549次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數字電路基礎pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅動電路設計》 溫德爾著
- 0.00 MB | 6656次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537798次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191187次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183279次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
工商網監
評論