【摘 要】
：
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML／MARTE状态机的系统安全性验证方
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML／MARTE状态机的系统安全性验证方法，具体包括：构建了具备SysML／MARTE扩展语义的状态机元模型，以及安全性建模与分析语言AltaRica的语义模型GTS的元模型；然后建立了从SysML／MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则，并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML／MARTE状态机
其他文献
在目前水资源十分短缺的情况下,开发利用新水源已备受关注,微咸水作为农业灌溉的新兴水源已成为国内外研究的热点,并逐步进行推广利用,但由于微咸水的灌溉过程中易产生土壤盐
房地产营销价格制定及策略是一项涉及面很广的综合性工作。近年以来,我国房地产销售价格制定方法和策略虽然初步形成,但还不很成熟,各地发展差距较大。本文针对房地产营销学
目的：提高对Castleman病的诊治水平。方法：分析4例Castleman病的诊治经过。结果：4例术前均误诊为淋巴结结核，手术后病理学诊断为Castleman病。其中透明血管型（局灶）、浆细胞型（多中
人类社会的文化活动实质是人生命状态的外显形式，是人类与自然环境以及人类之间互动关系的总和；交流、融合、相互吸纳是文化得以延续的基本方式。泉州宗教和俗信石刻是泉州作为
随着网络技术在军事领域内的广泛应用,使得大量信息以多种形态运行于军事指挥系统,军事信息安全领域内的角逐更为激烈,信息的安全与保密因此而日益突出。部队各类网络的普及
传统的高层钢结构体系有两种:抗弯框架和中心支撑框架。 抗弯框架具有良好的非弹性性能,并且柱间为无障碍空间,方便平面布置。但由于其柔性较大,楼层较多时满足侧移要求不
随着国家对应用型大学建设的重视,原有的一批本科院校逐步向应用型大学过渡,在这过程中,必须对原有的教学大纲和教学方式进行转变。本文针对《电机学》的教学特点,利用ANSYS
作为理解历史、研究历史的一种新视角、新方法,心理史学自20世纪80年代真正被中国史学界接受、应用以来,拓宽了中国史学研究的视野和思路,取得了丰硕的研究成果。心理史学取
王夫之史论的内容极其丰富,本文主要是针对王夫之的秦汉史论进行研究。 王夫之秦汉史论的形成有其深刻的学术渊源和社会基础。家学传承,对其治学态度、治学内容产生了很大
为了探索在不同pH条件下腐植酸对土壤中砷形态转化及生物毒性的影响,应用油菜盆栽试验,检测砷加入土壤后15 d、45 d、90 d土壤中AE-As（水溶态、可交换态和碳酸盐结合态）Fe,Mn-A