One OS小型实时系统

0获赞0粉丝0关注
One OS 简介One OS是一个专注于可靠性和简易可用的小型实时系统。它通过采取形式化方法来确保系统的可靠性。所有的实时操作系统必备的功能它都具备
简介
One OS 简介One OS是一个专注于可靠性和简易可用的小型实时系统。它通过采取形式化方法来确保系统的可靠性。所有的实时操作系统必备的功能它都具备,但是并不在此基础上提供更多可选组件以确保内核的精炼性。这样,得到的内核就是一个最小化的内核,可以很方便地对它进行形式化验证。同时,它还可以作为客户操... 更多
其它信息
授权协议
LGPL
开发语言
C/C++
操作系统
跨平台
软件类型
开源软件
所属分类
其他开源、 嵌入式操作系统
开源组织
地区
国产
适用人群
未知
收录时间
2023-09-26

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
操作人操作信息操作时间
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐