【摘 要】
：
随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量.而质量是由软件体系结构
【机 构】
：
中航工业西安飞行自动控制研究所,710065
【出 处】
：
2013年第四届全国通信新理论与新技术学术大会CTC2013
论文部分内容阅读
随着安全关键系统规模及复杂性的增加,如何构建高可信的安全关键软件成为研究热点,采用模型驱动的开发方法可以提高开发效率,保证安全关键软件的质量.而质量是由软件体系结构决定的.首先介绍了软件框架技术,它能有效实现大粒度软件复用,并阐述、特定领域的可复用软件体系结构设计方法和开发过程.为了进一步提高软件重用性和建立理想的软件体系结构,对安全关键领域的两种软件体系结构进行了基本分析,着重介绍了一种分区技术,并对ARINC653标准的架构进行了简述.最后分析了模型化开发方法,并对未来安全关键领域的软件技术发展进行展望.
其他文献
子宫不但是妇女来月经及孕育胎儿的场所,同时也是妇产科疾病的多发器官。重视子宫保健对保证妇女健康长寿有重要意义。否则,不但会影响优生优育,甚至会导致终生不育,还会引
1964年在南海的一个小渔港,我认识了吴海鹰。她正在为自己的毕业创作收集素材。当时的印象,她是个不露锋芒而又个性很强的姑娘。很久以后,我更发现她是个情感深细、思路敏捷
目的 分析在急诊科护理质量管理中,探究采用问题管理模式的应用效果.方法 随机选取2019年6月～2020年6月西安医学院第二附属医院急诊科收治的100例患者,所有患者根据入院单双号
本文介绍隔热硅刚玉砖在水泥回转窑中的使用情况，为三年两修打下了基础，保护设备功能显著。根据目前国家对节能环保的要求，改进导热率高的内衬材料迫在眉睫。选择新型专利隔热产
一九三五年获奖 提起居里夫人,大家是很熟悉的。她和她的丈夫皮埃尔·居里是放射性元素镭的发现者,他们对镭的发现不但开辟了治疗癌症的新途径,在医学上作出了重要贡献,更重
9月,汽油市场行情以相对稳定为主,交投气氛相对清淡。国标柴油价格则受资源紧张的影响,价格继续一路上涨。10月汽油市场需求难有大幅提升,国标柴油价格有望逐渐回跌至最高批
目的 分析综合护理干预对胃肠手术患者术后胃肠功能的恢复效果.方法 选取我院2018年11月至2019年11月收治的80例胃肠手术患者按照入院顺序随机将其分为对照组和观察组,每组40
1917年12月3日晚,在巴黎繁华的第9区,贝丝·威尔画廊正在举办一次个人画展开幕式。虽然正值战争期间,画廊里仍然宾客云集,热闹非凡。有一幅女裸体画就陈列在橱窗里,面对大街
改革开放后,为了大力发展商品经济,邓小平决定广纳贤才,人尽其用。十一届三中全会前,邓小平便与叶剑英商量,准备请荣毅仁“出山”,任全国政协副主席。 1979年1月17日,邓小平
本文介绍了下日产万吨级水泥熟料烧成系统开发项目的背景，探讨克服系统大型化后技术性能失真和控制问题;技术装备的安全可靠性和加工过程控制问题;因特殊原、燃料条件而引起的