【摘 要】
：
嵌入式系统在航空、航天、核能及交通等安全攸关领域中的广泛应用,使得保障其安全性至关重要.需求可追踪是安全攸关领域标准的基本要求,也是安全性分析与保障的重要前提.当前
【机 构】
：
南京航空航天大学计算机科学与技术学院,软件新技术与产业化协同创新中心
【基金项目】
：
国家“八六三”高技术研究发展计划项目基金(2015AA105303);GF基础科研重点项目(JCKY2016203B011);国家自然科学基金(61502231)资助
论文部分内容阅读
嵌入式系统在航空、航天、核能及交通等安全攸关领域中的广泛应用,使得保障其安全性至关重要.需求可追踪是安全攸关领域标准的基本要求,也是安全性分析与保障的重要前提.当前可追踪性的研究主要集中在需求与代码之间,缺乏需求与设计间可追踪性的研究,而且建立的追踪信息精确性和完整性不高,无法有效地应用于安全攸关领域.针对这一问题,该文提出了一种基于谓词逻辑的需求追踪方法,可以实现嵌入式系统需求内部横向追踪关系和需求与系统设计间纵向追踪关系的自动推导与检验,并通过两种广泛使用的标准语言SysML和AADL分别对系统需求与
其他文献
本文阐述了基于VNET数字化电厂概念,介绍了现状与解决方案,提出了应用领域的思考。
以校本学季制下课程综合改革为依据,建立以学为中心的教学理念,加强实践教学环节的教学过程创新实践,探索构建以解决实际工程问题、科研促教学为导向的实践教学体系。
目的探讨p38MAPK(丝裂素活化蛋白激酶)是否参与去甲肾上腺素(NE)预处理的延迟保护作用.方法建立大鼠心肌缺血/再灌注损伤(I/R)模型.分别应用去甲肾上腺素、p38的特异性抑制剂
<正>赵翼(1727—1814年),江苏常州人,字云崧,号瓯北,清代著名诗人、诗歌理论家和历史学家,深受陈垣先生颂扬,至有"百年史学推瓯北"之誉。赵翼聪慧过人,"少负逸才",具备多方面
提出了基于角度传感器检测量程与游标原理算法检测量程为周期的分段函数算法。与传统非接触式方向盘转角传感器游标原理算法进行了对比分析,并对其角度检测范围与分辨率等方
目的：应用流式细胞术研究细胞周期中细胞内DNA含量和细胞膜Fas蛋白表达在结肠癌前病变与不同分化程度的结肠癌组织细胞中的变化情况及其临床意义和二者之间的相互关系。方法：对
【正】 毛主席关于《水浒》的重要指示,是运用马克思主义阶级观点和阶级分析方法研究历史遗产的光辉典范。它犹如光芒四射的灯塔,照亮了我们继续革命的方向。在这里,我们试以
3心理健康知识的传播模式心理学对健康传播学影响巨大。20世纪50～60年代，当时特有的社会环境促使美国社会推行了一场旨在促进心理健康和精神健康的所谓“人文主义心理学运动”
国务院总理李克强在今年的政府工作报告中首次提出，政府将制定“互联网+”行动。这也是“互联网+”第一次纳入国家经济的顶层设计。距此不到一个月，国内电商大鳄京东、阿里巴巴