【摘 要】
：
大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安
【机 构】
：
中国民用航空上海航空器适航审定中心,复旦大学航空航天数据研究中心
论文部分内容阅读
大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴。
其他文献
在义务教育进入转型发展的新阶段,苏州市教育局提出打造“苏式学校”、研究“苏式课堂”的构想。从小学数学学科的角度,结合苏州地域文化特征和日常教学实践,从教学之序的精
犊牛阶段是牛饲养过程中的重要阶段,犊牛饲养的好坏和养牛场的经济效益息息相关,而且还会影响到养牛场的健康发展。笔者通过对犊牛的饲养管理要点进行阐述,为犊牛的生长发育
以成都市青少年消费者个性需求为自变量，产品态度为因变量，感知质量、情感价值为中介变量，运用结构方程模型，构建成都市青少年体育用品品牌购买意愿模型，并初步检验了青少年消费者
目的分析病理确诊的608例原发性甲状腺癌的临床病理特征。方法采用回顾性分析的方法对天津医科大学附属肿瘤医院2007年6月至2010年12月病理确诊的608例甲状腺癌患者进行临床
目的观察利拉鲁肽治疗2型糖尿病合并脂肪肝患者的疗效,并观察其对患者体重指数、血脂等指标的影响。方法随机筛选30例2型糖尿病合并脂肪肝患者,在原有口服降糖药基础上,停用
红旗新H总装为一汽集团实现“十三五”规划的重要组成部分,该车间集成了机器人转挂、矩形可升降滑板、自动涂胶、AGV、重载EMS、塑料板链等行业内高端技术,实现“柔性化”、
讲解词汇搭配一向是俄语教学中帮助学生理解词义和掌握词的用法的重要手段之一。在精读课教学中,教师为讲解一个词,往往列举许多词组,并将其笼统地归结为词的搭配。词的搭配
战略高技术是建立在现代前沿科学研究成果之上,与国家战略布局紧密契合,能够服务于经济社会以及国防和军队建设需求的一系列高技术(群)。在席卷全球的科技浪潮推动下,战略高
英国导演乔·怀特是一位热衷于将小说改编为电影的导演,其声名大噪之作正是改编自英国同名名著《傲慢与偏见》。除此之外,其多部电影都来自文学作品,电影改编艺术正是怀特导
一、单词为什么记不住? 学生经常反映单词记不住。他们还说,第一学期学的单词和课文印象比较深,第二学期学的记的差,忘得多。第二学年的课文长多了,深多了,单词也更多了。边