安全工厂 - 宣言

现代的网络-物理系统由复杂的软件驱动，日益承担着安全关键功能。 软件使得快速迭代和持续交付新的功能以满足用户不断变化的期望成为可能。 由于高速开发需要严谨、严密和自动化，软件工厂被用于。 这些涉及软件开发中使用的方法和工具，例如构建系统和管线。 为了跟上软件的快速演化，我们需要弥合软件开发与安全工程之间方法和工具之间的断层。 我们需要在前期投资更多资源——以语义丰富的模型捕获安全工作产品，这些模型是可机器处理的，定义自动一致性检查，并自动生成文档——以获益于后续。 将最佳实践从软件转移到安全工程是值得探索的。 我们主张建立安全工厂，将安全工具和方法集成到软件开发管线中。