【摘 要】
:
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应
【机 构】
:
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法
其他文献
随着我国经济的快速发展,建筑行业领域内也掀起了一股修筑大浪潮,建筑工程的数量急剧上升.因此许多问题也随之而来,尤其是房屋的渗漏问题,成为了全领域内讨论的热点之一.其中
随着我国经济技术的迅速发展,人们的生活水平逐渐提高,越来越追求高品质的生活质量,对室内环境的要求越来越高.为了提高舒适感,更多的人开始使用空调,这样不仅消耗了大量的能
提出了基于支持向量回归的钢材力学性能建模方法,采用遗传算法优化支持向量回归模型的参数,避免了参数选择的盲目性,使得支持向量回归模型的预测性能有了显著提高。将此方法
本田奥德赛七座,这个数字在家庭用车中出现的几率看并不高,但却绝对实用.相对沃尔沃、奥迪,虽然舒适性及档次弱了一些,但承载能力却非它莫属.更何况奥德赛的七座是实实在在七
本文概述了城市建筑设计与城市规划设计的内涵,详细分析了二者之间的关系,同时探讨了处理好城市规划与城市建筑设计之间关系的措施,以供参考.
钢筋工程是高层建筑工程中的重要组成部分,钢筋工程施工的质量将会直接关系到高层建筑的安全性和使用寿命,关系到人们的生命财产安全,因此,在建筑项目钢筋工程施工的过程中,
硫化氢(H_2S)主要来自生产过程或日常生活中产生的废气。硫化氢是有强烈的臭蛋气味的无色气体。易溶于水,生成氢硫酸(一种弱酸)。溶于醇类、甘油、石油制品中。化学性质不稳
目的将叠氮溴化丙锭(PMA)与实时荧光定量PCR(real-time PCR)技术相结合,快速检测蔬果中金黄色葡萄球菌活菌。方法通过对影响PMA作用的关键因素,包括PMA浓度、光照时间以及活
高职院校一直极为重视对学生专业能力的培养,各专业的教学老师也在实践中不断寻找着有效的教学方式,期望能够切实提升高职学生的专业能力水平.在这种背景之下,高职软件技术专
随着经济的不断发展,越来越多的人口涌向城市,导致城市人口越来越多,但是城市的面积却不会因此而增多,这样一来,就导致城市的建筑面积十分紧张,而高层建筑却可以节约出很多的