【摘 要】
：
安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方
【机 构】
：
北京航空航天大学计算机学院,中航工业西安航空计算技术研究所
论文部分内容阅读
安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出了一个基于GSN的目标论证模式描述框架,分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述;同时使用一种扩展的安全案例模式描述方式,用以描述面向标准的目标符合性论证模式.在此基础上,提出了3种面向DO-178C软件测试过程的目标符合性论证模式,分别是代码-需
其他文献
藏汉双语教学模式是藏族地区中小学校长期探索的教学活动的固定类型。较之一般教学模式，藏汉双语教学模式由于双语文和两种文化系统的运作而显得尤为复杂。因而从分析影响藏汉
高校绩效评价价值观是高校进行绩效评价的基本指导原则,也是高校绩效管理的导航仪。本文依据现代管理原理和我国高等教育实践对高校绩效评价的价值观进行了总结,提出了一套较
随着改革开放和经济发展,江苏省镇江市畜牧业得到迅猛发展,大大改善了市民的"菜篮子",提高了人民群众的生活水平。伴随"菜篮子"工程建设与畜牧业的快速发展,我市出现了一批规
目的:研究绿豆对巴豆中毒的减毒作用。方法:实验分为单用巴豆组(对照组)及巴豆与绿豆配伍比1∶1(1组)、1∶2(2组)、1∶3(3组),通过提高巴豆、绿豆的配伍比,观察灌胃后72h实验
目的探讨复方丹参联合维生素c辅助治疗小儿支气管肺炎临床疗效。方法将132例4,JL支气管肺炎患儿按随机数字表法分为治疗组（68例）和对照组（64例）。治疗组给予复方丹参注射液：1岁以
以工业萘、浓硫酸、甲醛、液碱、木质素磺酸钠为主要原料合成一种新型萘系高效减水剂。其合成工艺条件为：m（工业萘）：m（浓硫酸）：m（甲醛）：m（木质素磺酸钠）=100：115：61：32，磺化温度（163±2）℃，
日前去浙江调查民营企业生存状况，所见所闻可谓哀鸿遍野。萧条如此，却也有令人安慰的信号。
基于电动牙刷导光片嵌件在注塑过程中存在工作效率低、安全隐患等问题,提出了采用振动盘理料,伺服模组配合真空吸盘组取料、送料的方式,设计了一台自动上料机器,介绍了设备动
对于我国目前的大量基建工程和在原址进行的拆迁工程,都会产生大量的建筑垃圾的问题,实现以建筑垃圾再生料进行建筑生产解决环保和建筑垃圾存放两方面的问题。而建筑垃圾蒸压
理雅各(1814—1897),英文原名JamesLegge(詹姆斯·莱格),英国汉学家,出生于苏格兰。1839年他25岁时,被教会派往马六甲任英华书院(Anglo-Chinese College)院长,1843年随同该