电子发烧友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次下载 | 免费
工商网监
评论