“世界上最可靠的操作系统”seL4开源了!
2014-08-03 11:00
260 查看
一个宣称是“世界上最可靠的操作系统”的、由澳大利亚开发的 Secure Embedded L4(简称seL4)微内核现在面向全球开源了。
L4是一组基于微内核构架的操作系统内核。五年前,澳大利亚研究组织NICTA创造了一个新的L4版本,称为 Secure Embedded L4,宣布在世界上率先开发出第一个正规机器检测证明(formal machine-checked proof)通用操作系统。seL4微内核设计针对实时应用,可潜在应用于强调安全和关键性任务的领域内,如***和医疗行业。
该系统的开源版本包括所有seL4内核的源代码、证明和规范,再加上过去五年中开发的一系列额外程序,如工具、库和可用于建立值得信赖的系统的示例程序。
NICTA软件系统研究组长GernotHeiser表示,今天的关键软件有根本性的弊端。 “通过开放seL4,我们希望为全球的开发人员创建一个可靠的系统社区,其应用领域从国家安全到汽车、机械植入器、工业自动化和企业BYOD”。
seL4代码托管地址: https://github.com/seL4/seL4
[b]seL4项目主页:[/b]http://sel4.systems/
L4是一组基于微内核构架的操作系统内核。五年前,澳大利亚研究组织NICTA创造了一个新的L4版本,称为 Secure Embedded L4,宣布在世界上率先开发出第一个正规机器检测证明(formal machine-checked proof)通用操作系统。seL4微内核设计针对实时应用,可潜在应用于强调安全和关键性任务的领域内,如***和医疗行业。
该系统的开源版本包括所有seL4内核的源代码、证明和规范,再加上过去五年中开发的一系列额外程序,如工具、库和可用于建立值得信赖的系统的示例程序。
NICTA软件系统研究组长GernotHeiser表示,今天的关键软件有根本性的弊端。 “通过开放seL4,我们希望为全球的开发人员创建一个可靠的系统社区,其应用领域从国家安全到汽车、机械植入器、工业自动化和企业BYOD”。
seL4代码托管地址: https://github.com/seL4/seL4
[b]seL4项目主页:[/b]http://sel4.systems/
相关文章推荐
- 以色列黑客发布开源虚拟化操作系统OSv
- 记世界上第一台运行图形化用户界面操作系统的微型电脑
- PostgreSQL入门到精通——世界上功能最强大的开源数据库
- Cosmos开篇--C#开源操作系统学习系列一(转)
- Cosmos开篇--C#开源操作系统学习系列一
- Raspbian:世界上“最小的”操作系统是怎样炼成的?
- 微软宣布.NET开发环境将开源 支持三大操作系统
- 微信开源PhxQueue:高可用、高可靠、高性能的分布式队列
- Cosmos编译--C#开源操作系统学习系列二(转)
- 54款开源服务器软件(内容管理、数据库、电子商务、邮件服务器、文件传输、操作系统、安全、小公司服务 .
- 实时可靠的开源分布式实时计算系统——Storm
- [分享] - (开源)PHP高级境界-网络操作系统(eyeOS)
- 开源IoT操作系统Mynewt使用简介
- 54款开源服务器软件(内容管理、数据库、电子商务、邮件服务器、文件传输、操作系统、安全、小公司服务
- 七大步骤建立可靠的Linux操作系统
- (第8篇)实时可靠的开源分布式实时计算系统——Storm
- Cosmos的基石:IL2CPU编译器--C#开源操作系统学习系列三(转)
- PaaS 平台学习(开源力量OSF)构建千万级大规模、高可靠PaaS平台的技术挑战 学习笔记
- 为爱好舞蹈的人们做的软件,细究数据结构,操作系统,磁盘原理,用java/c/c++写一个开源 MP3助手