一种基于故障扩展SysML活动图的安全性验证框架研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户：jovewu

【摘要】

：

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图

【作者】

：

仵志鹏黄志球王珊珊曹德建

【机构】

：

南京航空航天大学计算机科学与技术学院

【出处】

：

计算机科学

【发表日期】

：

2015年7期

【关键词】

：

安全性验证故障树语义 SysML活动图 PROMELA Safety verification Semantic information of fault

【基金项目】

：

国家自然科学基金（61100034,61170043）, 中国博士后科学基金（20110491411）, 江苏省普通高校研究生科研创新计划资助项目, 中央高校基本科研业务费专项资金（CXZZ11_0218）资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和SysML活动图两种模型语义描述的基础上,提出了一种基于故障扩展SysML活动图的安全性验证框架,包括：首先利用故障树最小割集提取故障信息并给出故障树逻辑门的转换规则;然后给出故障扩展SysML活动图的构建步骤;最后使用Promela对故障扩展SysML活动图进行建模,并使用模型检测工具

其他文献

电铁27．5kV直挂式动态无功补偿装置获得成功

期刊

电气化铁路27.5kV直挂式动态无功补偿装置功率因数电网

寻北仪数据采集系统的设计与实现

介绍了80C196KC单片机系统在捷联式寻北仪陀螺仪和加速度计的数据采集、数据处理和串行通讯中的设计与应用，对系统的可靠性及抗干扰能力进行了设计。

期刊

寻北仪串行通讯单片机数据采集系统设计North Finder data collection serial communication sing

蓝牙HCI接口及其在工控和智能仪器仪表中的应用

蓝牙技术在工控、智能仪器仪表等行业中有广阔的应用前景,HCI接口对蓝牙在上述行业中的应用意义重大.针对国内相关的实例和明确的应用指导尚不多见的情况,介绍了蓝牙HCI接口,

期刊

智能仪器仪表蓝牙技术HCI接口工业控制bluetooth moduleHCIindustrial controlintelligent instr