安全关键系统的蓝图设计与生成

来源 :计算机工程 | 被引量 : 0次 | 上传用户:ooqqa
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全关键系统是指系统功能一旦失效将引起生命、财产等重大损失以及环境可能遭到严重破坏的系统。航空电子系统就是一个典型的安全关键系统,最新航空电子系统的目标是综合模块化航空电子IMA系统。为保证IMA系统的安全可靠,必须做到系统运行可确定、故障可自愈、以及可以处理IMA综合化所带来的问题。该问题的解决方法是在系统设计阶段用“蓝图”来描述系统。针对国内航电系统的实际需求,设计并实现面向安全关键系统的蓝图,介绍华东计算技术研究所自主研发的高可靠实时嵌入式操作系统ReWorks653、开发平台ReDe653及其蓝图
其他文献
本文重点从人性异化角度剖析劳伦斯文学创作的基本主题。在其一系列作品中,劳伦斯既客观反映机器对人的压迫,劳动对人的异化以及人与人之间的物化,又通过细致的心理描绘,以奇崛、
目的探讨不同通气方式对急诊心肺复苏患者治疗效果的影响。方法选取2016年4月—2019年4月我院165例急诊心肺复苏患者为研究对象,根据随机数字表法将受试者分为A,B,C三组,每组
在现有有效应力计算公式基础上,考虑多孔介质在三轴压缩状态下产生损伤的影响,修正了有效应力计算公式,并通过试验验证了该公式可以较好的描述含瓦斯煤在三轴压缩下的全应力-
学会提出问题远比学会解决问题重要得多.在语文课堂教学中,教师通过具体的教学活动让学生学会质疑,从而引导 学生敢问、会问、善问,使课堂不断创新、有效生成,并促进学生思想
介绍南京地铁1号线消防安全管理体系及重点采取的保障措施,为地铁消防安全管理工作提供参考。
目的:应用量子点标记的荧光原位杂交方法以快速检测金黄色葡萄球菌。方法:采用两种量子点-亲和素-生物素-DNA探针,即A型肠毒素(SEA)基因与FemB基因探针与金黄色葡萄球菌临床分离
王维诗歌静美,历来为人所称道。以动衬静、化动为静和以色显静是王维表达诗歌静美的三种手法。
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
茅盾的《子夜》究竟描述了多少人物,至今尚无确定说法,究其原因,大抵与判定人物的标准相关。 有人说,《子夜》中有八十多个人物,也有人说是九十多个,还有的认为更多些。这种
期刊
众所周知,高考加分政策是我国教育领域中一套配套政策,其目的在于为高校选拔有专长的优秀人才并对弱势群体给予适当照顾,以促进社会公平和鼓励个性发展,体现社会正义和主流价