【摘 要】
：
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安
【机 构】
：
航空器适航审定技术重点实验室,中国民航大学适航学院,中国民航大学电子信息与自动化学院
【基金项目】
：
民用飞机专项科研项目(MJ-2015-J-091)~~
论文部分内容阅读
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,
其他文献
目前卵巢储备功能减退(DOR)的发病病因和机制尚不清楚,本病导致的生殖、内分泌的问题,已成为影响妇女生殖、心理健康及社会稳定的重要的因素,临床上治疗该病难度大,并其发病
以住房条件、环境安全、景观规划、公共服务、社区文化环境5个指标为一级评价准则,房型设计、空气质量、建筑密度、商业网点、邻里和谐等42个因子为二级单项指标,构建了许昌
介绍了聚甲醛生产中甲醛制备生产工艺,通过优化空气预热器管线、风机控制回路、循环水管线,以及对风机进行节能改造和系统操作优化,结果表明,甲醛制备系统吨甲醛的甲醇单耗降
本文以为某化工厂制造的φ3200mm甲醇合成反应器为例，介绍了Lurgi式甲醇合成反应器在生产制造过程中，从工艺角度出发采取的质量控制手段。尤其是重点阐述了针对质量、精度要求
中国画重视形象,重视再现;而中国诗歌在重视意象、意境,侧重表现。这是形式的不同,但是艺术同源,艺术想通,异体体同心、异貌同趣在发展史上相互影响相互借鉴,甚至走向珠联璧
动物园是搜集饲养各种动物,进行科学研究和迁地保护,供公众观赏并进行科学普及和宣传保护教育的场所。现代文明社会中,科普教育是动物园的核心使命,也是近年来动物园行业关注热点之一。20世纪80年代以来,环境和生态保护在全世界范围内引起关注,就野生动物生存问题而言,公众关注的不仅仅是生存在野外条件下的种群,动物园中的野生动物也同样成为关注重点。对野生动物的格外关注使得社会公众提高了对自身专业知识的要求。对
疼痛药物的研发一直是全球性的热点和难点.阿片类药物在其中占有重要的地位,然而它们在起到镇痛作用的同时往往伴随很多副作用.20世纪70年代起,多个阿片受体亚型被相继克隆出
伍廷芳是晚清时代系统接受西方现代法学教育并取得律师资格的第一人。同时,他又长期在清廷任职,官至二品大员。在＂清末新政＂中,他被清廷任命为修律大臣,直接参与了推动中国法律
党的十九届四中全会提出“深化司法体制综合配套改革”“全面落实司法责任制”。员额制改革作为当前检察改革的重要制度设计，对于完善中国特色社会主义检察制度、推进检察监督
《了不起的盖茨比》中的主人公盖茨比与《太阳照常升起》中的巴恩斯是“迷惘的一代”文学中的青年典型,他们在一战后美国物质化时代中不同的人生抉择折射出了美国梦的变迁,也