ACM通信
ACM TechNews
Nicta将Sel4微内核推向无人机
研究人员希望seL4操作系统能在工业自动化和医疗设备应用中得到应用。
来源:《计算机世界》
NICTA，以前被称为澳大利亚国家ICT，最近发布了seL4微内核操作系统的开源，包括所有的内核源代码，数学证明，以及构建高度安全系统的其他代码和证明。SeL4是与通用动力公司联合开发的，具有完全的“功能正确性证明”，这意味着实现符合其规范。NICTA教授Gernot Heiser说:“(国防)几乎是[通用动力]最感兴趣的，所以他们对其他用例不太感兴趣，特别是当它是非常小的初始产品时，你不知道它们是否会变成真正的大产品。”
到目前为止，该操作系统主要用于军事系统，但研究人员希望seL4开源代码将用于医疗设备和工业自动化等用途。Heiser说:“SeL4保证了系统的关键部分和不那么关键的部分之间的隔离。
此外，任何使用GNU GPLv2许可证下的操作系统构建项目的人都必须在相同的开源许可证或更新的版本下发布它。
从《计算机世界》
查看全文
版权所有©2014公司的信息。，美国马里兰州贝塞斯达
没有找到条目