详细内容或原文请订阅后点击阅览
NASCAR司机Ross Chastain分享了五角大楼期间的动机
国防高级研究项目局宣布了一项弹性的软件系统加速器计划，以启动广泛采用基于数学的软件开发实践，以使军事系统固有地更安全地抵抗网络威胁。
来源:美国国防部消息国防高级研究计划局宣布了一项弹性软件系统加速器计划，以启动基于数学的软件开发实践的广泛采用，使军事系统从本质上更安全地抵御网络威胁。
弹性软件系统加速器计划昨天在弗吉尼亚州阿灵顿举行的弹性软件系统研讨会上，来自国防部、DARPA 和业界的领导人谈到了老化的 IT 基础设施、安全标准以及被称为“正式方法”的软件工具和技术，这些方法已被证明可以显着提高国防界使用的军事系统的弹性、安全性和功能。
DARPA 信息创新办公室主任 Kathleen Fisher 将形式化方法描述为“基于数学的方法”，允许用户证明软件的属性以获得保证，并补充说 DARPA 十多年来一直致力于开发与形式化方法相关的工具。
形式化方法是指用于开发高可靠性、经过验证的软件的技术，其中采用数学证明来证明系统上的软件将按预期运行。形式化方法的应用有助于软件系统的稳定性和抵抗黑客攻击的能力。
Fisher 表示，DARPA 渴望行业合作伙伴参与其中，这就是该机构推出弹性软件系统加速器的原因。该计划将为正式方法工具开发人员提供种子资金，这些开发人员与国防公司合作应用正式方法工具并衡量他们实施这些工具的努力程度。
作为在国防部内推进正式方法的一部分，DARPA 还与各个军事部门合作进行正式方法应用的顶点演示。
他说，在过去的十年中，DARPA 和合作伙伴一直致力于将正式方法转变为比以往任何时候都更容易获得和实用的解决方案。