【摘 要】
：
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支
【机 构】
：
南京航空航天大学计算机科学与技术学院,高安全系统的软件开发与验证技术工信部重点实验室
【基金项目】
：
国家自然科学基金(61502231),GF基础科研重点项目(JCKY2016203B011)
论文部分内容阅读
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使用的标准语言:系统建模语言(SysML)和嵌入式实时系统体系结构分析与设计语言(AADL)。SysML和AADL提供了同一系统的2个不同视图,SysML模型为系统工程师提供了一个系统视图,AADL为架构设计师建立一个较低层次的设计视图,它结合了实现所有功能的硬件、操作系统和代码。提出一种Sy
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
传统车道线检测算法大多数依赖手工制作特征和启发式算法的组合,容易受车辆遮挡和地面污损等因素的影响。针对影响车道线检测的复杂问题,将车道线检测视为连续细长区域实例分割问题,提出了一种基于密集分割网络的车道线检测方法。为此,使用稠密块构建了一个密集分割网络DSNet,该网络能够利用特征重复使用的特性提高提取车道线实例特征和恢复特征图分辨率的性能。同时,还引入了邻近AND运算和Meanshift聚类算法
1．工程老化失修严重，综合利用效率低。大多数农村水利工程修建于上世纪70年代，运行时间长，建设标准低，工程老化失修严重，灌溉设施不足，灌溉内的志趣配套较少，主渠土渠较多，加上维修资
目的探讨沈阳地区手足口病病原体分布及流行特征,为手足口病的防控和临床诊治提供参考依据。方法采用描述性流行病学方法,对2014—2018年中国医科大学附属盛京医院就诊的手足
目前,全球畜牧业贸易格局和中国畜禽养殖结构调整正在加速,与此同时,肉鸡产业转型升级也进一步加快。然而,肉鸡种源不足,供应链上下游利润不均衡等深层次、结构性问题对产业
对于玉米品种的评定，相关管理人员在没有获得试验数据之前，只能根据田间观察做出定性的判断。每个人都是根据自己的经验评价玉米品种，因此会产生许多种评价方法，甚至有的企业经营
出租车目的地预测可以掌握出租车的流动方向,便于出租车调度。已有的预测方法多仅利用轨迹序列的原始特征作为预测模型的输入,忽略了原始特征背后的时空数据,造成轨迹时空信
针对十漫高速公路隧道受两郧断裂带的影响，在隧道施工期间出现围岩大变形、坍塌、初期支护开裂及隧道涌水，且运营期间可能出现衬砌开裂、地下水下渗、偏压危害等一些质量问题，提
为了进一步提高稠密标签环境中标签估计算法的精度,在分析比较传统的基于比特标签估计算法的基础上,提出一种比特估计的优化算法。首先,基于二项分布理论,利用未被选择比特位的观测值计算空闲比特率;然后,通过确定空闲比特率的阈值,建立稠密标签环境中的标签数量估计模型;最后,推导出标签数量估计值与时隙消耗的数学表达式。仿真结果表明,改进算法的标签估计精度要优于传统的基于比特标签估计的精度,且对于不同规模的标签
一、长期股权投资、长期债权投资核算比较长期股权投资按对被投资企业产生的影响、被投资企业所有者权益变化对投资企业的重要性和相关性不同,分别采用成本法和权益法进行核