One OS 正在参加 2020 年度 OSC 中国开源项目评选,请投票支持!
One OS 在 2020 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
投票让它出道
已投票
授权协议: LGPL
开发语言: C/C++
操作系统: 跨平台
收录时间: 2018-09-11
提 交 者: EDI-Systems

One OS 简介

One OS是一个专注于可靠性和简易可用的小型实时系统。它通过采取形式化方法来确保系统的可靠性。所有的实时操作系统必备的功能它都具备,但是并不在此基础上提供更多可选组件以确保内核的精炼性。这样,得到的内核就是一个最小化的内核,可以很方便地对它进行形式化验证。同时,它还可以作为客户操作系统运行在虚拟机监视器上。

本系统比一个全功能系统的相比要小得多,而且理解起来应该也相对容易得多。即便本系统仅仅包含了一个.C文件,它仍然提供了高效的内存管理,抗锯齿图形界面库和其他实用函数,并且这些功能的实现都不消耗任何额外的RAM!

形式化方法简介

传统的软件设计方法基于自然语言的思考、设计和描述,往往片面和模糊,极易引起误解。它也无法进行严格的检查,只能通过人的心智进行分析。基于 UML 等半形式化的方法采用一些相对清晰的图形化描述,一些工具也能自动生成代码框架并检查分析。以上两种方法在测试系统时,均是设计一系列用例对其进行测试,最多有结构化测试的参与。但是,它们都无法保证系统中没有错误,均不适用于性命攸关的系统的分析和开发,因此我们需要更为严格的开发设计流程。完全的形式化方法则基于严格定义的数学概念和语言,可以开发自动化工具进行检查和分析。它把数学的严格性带入软件开发的各个阶段,通过严格的数学证明保证系统中没有漏洞和错误

One OS的组件和接口示例及性能数据

请参见此链接

展开阅读全文

代码

的 Gitee 指数为
超过 的项目

One OS 的相关资讯

还没有任何资讯

One OS 的相关博客

物联网操作系统OS大全

(1)TencentOS-tiny gitee github (2)Rt-thread gitee github (3)Threadx github (4)freertos github (5)liteos gi...

一周信创舆情观察(6.15~6.21)

一、一周舆情要点 进入6月,多地信创项目开始大面积铺开。本周,江苏、云南、湖南、厦门等省市相继在信创领域放出大招。预计未...

一周信创舆情观察(6.15~6.21)

一、一周舆情要点 进入6月,多地信创项目开始大面积铺开。本周,江苏、云南、湖南、厦门等省市相继在信创领域放出大招。预计未...

一周信创舆情观察(6.15~6.21)

一、一周舆情要点 进入6月,多地信创项目开始大面积铺开。本周,江苏、云南、湖南、厦门等省市相继在信创领域放出大招。预计未...

一周信创舆情观察(6.15~6.21)

一、一周舆情要点 进入6月,多地信创项目开始大面积铺开。本周,江苏、云南、湖南、厦门等省市相继在信创领域放出大招。预计未...

一周信创舆情观察(6.15~6.21)

一、一周舆情要点 进入6月,多地信创项目开始大面积铺开。本周,江苏、云南、湖南、厦门等省市相继在信创领域放出大招。预计未...

杭州国产嵌入式操作系统技术与产业发展论坛大咖云集,报告摘要先睹为快!...

第二届国产嵌入式操作系统技术与产业发展论坛暨嵌入式系统联谊会主题讨论会(总第26次)将于2020年10月24日(周六)在杭州采用...

One OS 的相关问答

还没有任何问答,马上提问

评论 (0)

加载中
更多评论
0 评论
30 收藏
分享
返回顶部
顶部