基于系统思维的软件安全性需求开发框架

糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题，建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域，提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷，防止其向同一分析等级内的其它领域或下一分析等级传播，并尽早重新生成安全性需求，又能够不断生成证据，支持安全性论据的构建。