一个宣称是“世界上最可靠的操作系统”的、由澳大利亚开发的 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 seL4项目主页:http://sel4.systems/ |
“世界上最可靠的操作系统”seL4开源了!
2014-08-04 11:48:13
点击:
一个宣称是世界上最可靠的操作系统的、由澳大利亚开发的Secure Embedded L4(简称seL4)微内核现在面向全球开源了。L4是一组基于微...
上一篇:百度首页大改版
下一篇:NoSQL再度面临失败危机
评论排行
- ·Python是美国主流大学最...(5)
- ·HAProxy 配置 HTTP 负载均衡器(1)
- ·Linux+Nginx下SSL证书安装(1)
- ·linux开机自动挂载新硬盘...(1)
- ·linux手动挂载ext盘(1)
- ·mysql修复表,检查表,优...(1)
- ·linux配置网卡(1)
- ·windows下mysql binlog日志开启(1)
- ·Linux创造者Linus Torvalds(1)
- ·关于CentOS 6下Hadoop占...(1)
- ·apache2.4.10 for win 32/64安装教程(1)
- ·运维之家.FAN科技 ...(1)