Open-DO:面向安全关键型系统的开源

尚无读者喜欢这篇文章。
wavegraph

Opensource.com

开源技术几乎无处不在,但当涉及到“安全关键型”系统时,例如控制飞机的软件或医疗设备时,我们大多数人认为开源技术并不适用。 相关的法规和要求非常严格,与开源通常采用的“快速失败”方法格格不入。

后来,我们了解到一项名为 Open-DO 的倡议,该倡议表明,即使在这个专业化、高度监管的环境中,FLOSS 也能发挥关键作用。

我们邀请了 AdaCore 公司的市场总监 Jamie Ayre 回答我们的一些问题。 AdaCore 是开发和销售自由软件 GNAT Pro 工具集的公司。 Jamie 是 FLOSS 社区驱动的开发模式积极影响的热情倡导者,您可以从他对我们的采访(如下)中看出他对 Open-DO 项目的可能性感到多么兴奋。


请介绍一下 Open-DO 倡议以及它是如何开始的

Open-DO 倡议(如“Open”和“DO-178C”,即航空电子设备机载软件标准的最新修订版)旨在创建一个合作开放的框架,以减少开发用于安全关键型系统的可认证软件所需的工作量。

为了实现这一目标,Open-DO 借鉴了软件工程界最近出现的两个最活跃和最具创新性的趋势:

  1. 通过开源社区进行有效的协作。
  2. 创建一个框架,使诸如 敏捷精益 软件开发等方法可以成功应用于认证软件的开发。

主要目标是:

  • 解决安全关键型软件的“大冻结”问题(即在开发认证系统时使用的工具等由于升级的复杂性而被基线化)。
  • 确保合格的开源工具和可认证组件在安全关键型软件开发的主要方面得到广泛和长期的可用性。
  • 降低安全关键型软件开发的入门门槛。
  • 鼓励在安全关键型软件开发领域进行研究。
  • 增加安全关键型软件开发教育材料的可用性,特别是对于教授和他们的学生。
  • 促进开源社区和安全关键型软件社区之间的交叉融合。

该倡议始于 AdaCore 的几名员工(特别是 AdaCore 董事总经理 Cyrille Comar 博士)参与 RTCA/EUROCAE DO-178C 工作组之后。

该工作组包括认证机构代表以及来自主要承包商和工具供应商的个人,他们通常在市场上直接竞争。 Comar 博士对他们为实现共同目标——定义现有 DO-178B 标准的修订版,从而为整个行业提供构建安全航空电子系统的标准——的愿望和努力印象深刻。

为什么项目开源很重要?

目标是创建一个开放的生态系统,使工业界、工具供应商和公共机构能够发现,提高高完整性方法的生产力和灵活性符合他们的共同利益。 我们的经验表明,开源社区开发是最合适的模式。

关于技术本身,拥有包含资质材料的开源工具可以提高这些工具对更广泛受众的可用性,通过共享和重用降低其创建和支持成本,并增加获得足够生命周期和进化周期的机会。

如何管理开源和一套严格的政府要求之间的紧张关系?

每个项目都有一名指定的协调员,负责技术的整体质量。 该角色包括项目团队的管理和每个人的贡献。 团队是通过基于每个人素质的选择过程组建的。 所有协调员都具有使用工业级 FLOSS(自由许可开源软件)工具(通常由军方使用)的先前经验,并将这些经验带到 Open-DO 倡议中。

是否有任何军事部门的参与或支持?

军事领域通过从事军事应用的服务人员和主要承包商得到了很好的代表。

到目前为止,令人欣慰的成果之一是 Open-DO 引起了广泛社区的兴趣。 我们的成员来自航天、汽车、能源、工业自动化、铁路和医疗设备行业,以及航空电子和军事领域。

这项倡议是否有商业模式? 该模式与专有替代方案有何不同?

来自 Couverture 项目 的 GNATcoverage 工具采用“杠杆式服务”年度订阅商业模式进行商业化。 也就是说,客户可以访问该工具及其源代码,还可以获得工具开发人员的专家支持。 这种支持在订阅的整个生命周期内都可用,对于构建关键系统的客户至关重要。 对于在该倡议中开发的其他工具和材料,我们将推行相同的模式。

这与专有模式有很大不同。 凭借源代码的可用性以及活跃的开发人员和用户社区,公司可以从单供应商软件无法比拟的支持、可维护性、可靠性、稳定性、灵活性和自由度中获益。 这使公司能够专注于为开发周期带来真正附加值的领域。

如何参与该项目?

Open-DO 倡议是一项协作努力,其成功的关键将是包括以下各种社区的广泛参与:

  • 开源和安全关键型程序员
  • 工具供应商
  • 行业领导者
  • 学术界
  • 认证机构(以及更多)

有关更多信息,请访问 Open-DO 网站。 那些对作为该倡议一部分开发的工具感兴趣的人可以访问 forge

欢迎所有人!

标签
User profile image.
我是红帽美国公共部门集团的首席战略师,我在那里与系统集成商和政府机构合作,以鼓励在政府部门使用开源软件。 我是 Open Source for America 的创始人之一,也是 Federal Computer Week 2010 年 Fed 100 之一,并且我被评为 FedScoop 50 行业领导者之一。

评论已关闭。

Creative Commons License本作品根据 Creative Commons Attribution-Share Alike 3.0 Unported License 许可。
© . All rights reserved.