面向安全关键领域的高可信软件设计方法

摘要

随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量.而质量是由软件体系结构决定的.首先介绍了软件框架技术,它能有效实现大粒度软件复用,并阐述、特定领域的可复用软件体系结构设计方法和开发过程.为了进一步提高软件重用性和建立理想的软件体系结构,对安全关键领域的两种软件体系结构进行了基本分析,着重介绍了一种分区技术,并对ARINC653标准的架构进行了简述.最后分析了模型化开发方法,并对未来安全关键领域的软件技术发展进行展望.