面向安全关键领域的高可信软件设计方法
随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量.而质量是由软件体系结构决定的.首先介绍了软件框架技术,它能有效实现大粒度软件复用,并阐述、特定领域的可复用软件体系结构设计方法和开发过程.为了进一步提高软件重用性和建立理想的软件体系结构,对安全关键领域的两种软件体系结构进行了基本分析,着重介绍了一种分区技术,并对ARINC653标准的架构进行了简述.最后分析了模型化开发方法,并对未来安全关键领域的软件技术发展进行展望.
软件设计 安全关键领域 体系结构 模型驱动
姜敏 马庆甜
中航工业西安飞行自动控制研究所,710065 西安卫星测控中心,710043
国内会议
2013年第四届全国通信新理论与新技术学术大会CTC2013
北京
中文
161-167
2014-01-01（万方平台首次上网日期，不代表论文的发表时间）