【摘 要】
：
随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量.而质量是由软件体系结构
【机 构】
：
中航工业西安飞行自动控制研究所,710065;西安卫星测控中心,710043
论文部分内容阅读
随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量.而质量是由软件体系结构决定的.首先介绍了软件框架技术,它能有效实现大粒度软件复用,并阐述了特定领域的可复用软件体系结构设计方法和开发过程.为了进一步提高软件重用性和建立理想的软件体系结构,对安全关键领域的两种软件体系结构进行了基本分析,着重介绍了一种分区技术,并对ARINC653标准的架构进行了简述.最后分析了模型化开发方法,并对未来安全关键领域的软件技术发展进行展望.
其他文献
本文浅谈了以条件为导向的语言学习理论所包含了具体内容,以及对这一语言学习理论的见解.
在我国大力推广实施新课改方针背景下,开始主张将创新技能视为学生综合素养认证的核心指标,为了确保学生可以更加理想化地迎合不同领域的创新技能规范要求,相关教学主体务必
随着现代信息技术的飞速发展,教育现代化成为一种教育常态.数字故事是一种在国外较为流行的利用现代多媒体进行可视化教学的叙事手段.极具抽象性的数学对于小学生来说是难以
由老师在课堂上唱"独角戏"的时代已经一去不复返,师生之间的良好互动已经成为了小学数学教学活动的基本形式,师生之间的良好对话也直接影响着最终的教学效果.本文便对在小学
目前,P2P网络借贷在我国发展迅猛,作为银行的有益补充,它一方面拓宽了人们的融资渠道,另一方面方便了人们的融资活动.可是,因为我们国家信用体系的缺陷,P2P网络借贷模式仍然
乳牙列的完整是恒牙正常萌出和正常排列的重要保证.所以乳牙早失后的间隙应及时给予保持,特别是乳磨牙早失的间隙保持尤为重要。
阅读教学是小学低年段语文教学的重要任务,直接关系到识字写字、写作、口语交际教学等各个方面.近年来,对小学语文教学阅读教学的关注越来越多,因为阅读教学是小学语文教学的
目前,P2P网络借贷在我国发展迅猛,作为银行的有益补充,它一方面拓宽了人们的融资渠道,另一方面方便了人们的融资活动.可是,因为我们国家信用体系的缺陷,P2P网络借贷模式仍然