支持SPIN验证的详细级SFMEA方法研究

来源 :计算机应用与软件 | 被引量 : 1次 | 上传用户：heartless850

【摘要】

：

随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA(Software Failure Modes and Effect Analysis)是军工业中常用的一种安全分析方法,其依赖人工分析、缺乏形式化语义、无法支持验证。针对SFMEA方法的不足,提出一种结合SPIN的详细级SFMEA方法,对软件失效模式进行形式化建模与分析,

【作者】

：

刘畅李海峰沈国华顾益刘银陵

【机构】

：

中国航空综合技术研究所,南京航空航天大学

【出处】

：

计算机应用与软件

【发表日期】

：

2016年05期

【关键词】

：

软件FMEA 失效模式 SPIN 安全关键系统 Software FMEA Failure mode Simple Promela Interpreter（SP

【基金项目】

：

国家自然科学基金项目（61272083）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

一种挖掘低速率语音编码最低有效位的新方法

信息隐藏是保证信息传输安全的重要手段。针对VOIP系统中低速率语音编码在信息隐藏时最低有效位难以确定的问题，利用遗传算法GA(GeneticAlgorithm)作为优化工具，以客观的语音质

期刊

信息隐藏最低有效位遗传算法低速率语音编码In formation hiding Least significant bit Genetic algori

大气降水中金属元素的原子吸收分光光度法测量模型及不确定度

0引言本文以测定大气降水中钙离子为例,按照GB13580.13-1992的规定对其进行测定,建立大气降水中原子吸收分光光度法测定金属元素的测量模型,并对测定结果进行不确定度评定。

期刊

原子吸收分光光度法不确定度评定大气降水测量模型金属元素分光光度法测定测定结果钙离子

云计算中虚拟化层的安全问题研究

近年来,云计算安全问题的重要性正呈现逐步上升的趋势,是制约云计算技术发展的关键因素之一。云计算的核心技术是虚拟化,所有应用在部署环境时都要依赖虚拟平台的管理、迁移

期刊

云计算虚拟化技术安全漏洞虚拟化隐私Cloud computingVirtualisation technologyVulnerabilityPrivac

基于GPS/BaiduMap的位置信息服务平台

位置服务(LBS)在生活和工程领域的应用越来越广泛。利用GPS数据,结合Baidu Map、Android与网络通信构建起来的位置信息服务平台,以单片机为控制芯片处理GPS数据,以无线芯片和网络构建数据传输途径,Baidu Map作为可视化平台。其稳定性好,可扩展性强,运用前景广阔,可大规模应用于停车场、物联网、定位测量等。

期刊

GPS位置信息服务BaiduMap无线通信GPS Location-based service （LBS） BaiduMap Wireless comm

大体积混凝土温度应力场的仿真分析

阐述了混凝土温度场和应力场的有限元仿真计算分析的基本原理，并基于上述理论，以ANSYS为平台，编制了混凝土三维非稳定温度场和应力场的仿真计算程序，同时通过大量算例验证了程序

期刊

大体积混凝土拱坝温度应力仿真分析mass concrete arch dam thermal stress simulative analysis

缸套类传热参数测试系统研制

纯铝发动机以其重量轻进而可减少油耗的优势在汽车工业领域得到广泛的应用。但纯铝发动机的气缸套却不能完全用铝合金来代替,因为铝的耐磨性、强度都比铸铁差,所以一种新的技术被研发出来。纯铝发动机的缸体内孔采用镶嵌铸铁气缸套,这样既减轻车重,又满足发动机高速运转下耐磨性的要求。这种技术的核心关键点之一在于保证铸铁和铝合金缸体的紧密结合。解决这个难题的常用方法是在缸套表面形成“蘑菇头”,从而加大了铝液与缸套外

学位

全铝发动机气缸套导热系数测试系统

基于群体划分优化的gap-rbf神经网络学习算法

针对传统GAP-RBF算法学习精度不够高的问题,提出一种基于群体划分优化的GAP-RBF网络学习方法.首先,为了克服传统GAP-RBF中存在的大型矩阵的计算问题,用DEKF（ Decoupled EKF）方

期刊

径向基函数神经网络增长剪枝径向基函数算法粒子群优化算法遗传算法RBF neural networkGAP-RBF algorithmPSO algori

浅析小学语文阅读教学中的审美构建

小学是重要的教学阶段,也是学生成长的关键时期。教师通过语文教学,引导学生掌握相应的技能,让小学生拥有较强的审美能力。小学阅读教学的过程中,教师对课堂的合理构建,让学

期刊

小学语文阅读教学审美构建策略

赛多利斯最小的用户

2010年10月27日，赛多利斯科学仪器（北京）有限公司总经理赵宇光博士联同Heinrich—Heine-Gymnasium Ostfildern学校副校长Mr．WoJfgang HAUSSMANN向北京大学附属中学赠送了一台赛多

期刊

用户北京大学科学仪器北大附中副校长总经理学校天平

基于双目立体视觉技术的汽车测距系统实现

汽车测距是汽车防撞系统的关键技术之一。在分析现有的汽车测距常用方法基础上,针对常用测距方法设备庞杂、相互干扰严重等问题,对机器视觉在汽车测距方面的应用进行研究,提

期刊

汽车防撞双目立体视觉技术测距

支持SPIN验证的详细级SFMEA方法研究

其他学术论文