期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
软件安全分析的有穷自动机模型 被引量:4
1
作者 陈峰 李伟华 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第1期22-26,共5页
目的为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证。方法软件安全分析验证法与形式化建模方法。结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用UMLsec建立软件... 目的为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证。方法软件安全分析验证法与形式化建模方法。结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图。首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA。结论为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例。 展开更多
关键词 软件安全分析 UML安全扩展 确定有限自动机 形式化建模
在线阅读 下载PDF
基于OCL约束建模的嵌入式软件安全性分析 被引量:4
2
作者 崔红军 黄美锋 吴振宇 《计算机工程》 CAS CSCD 北大核心 2018年第6期270-278,共9页
目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性... 目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型。在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别。在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量。 展开更多
关键词 对象约束语言 约束建模 软件安全分析 失效模式 模型驱动
在线阅读 下载PDF
采用模型检测器的软件安全模型验证方法 被引量:2
3
作者 陈峰 李伟华 +1 位作者 陈昊 吕正 《西安交通大学学报》 EI CAS CSCD 北大核心 2011年第2期15-20,共6页
针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型... 针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证. 展开更多
关键词 软件安全分析 确定有限自动机 形式化建模 模型检测
在线阅读 下载PDF
安全监测数据分析软件开发中的若干技术问题 被引量:3
4
作者 高闻 杨国华 《水利水电技术(中英文)》 北大核心 2022年第S01期123-132,共10页
在水利水电工程中,安全监测数据是判断各类建筑物运行状态的关键依据。在工程日常运行管理中,采集和存储大量的各种监测数据和巡视检查记录,为实现自动化观测和智慧化建设,需要开发实用高效的数据分析软件,分析和管理安全监测成果,并对... 在水利水电工程中,安全监测数据是判断各类建筑物运行状态的关键依据。在工程日常运行管理中,采集和存储大量的各种监测数据和巡视检查记录,为实现自动化观测和智慧化建设,需要开发实用高效的数据分析软件,分析和管理安全监测成果,并对水工建筑物运行状态进行评价。结合某水电工程安全监测可视化平台实例,对安全监测数据分析软件的开发路径、软件架构和数据分析方法进行了探究。该平台除具有传统的统计方法以外,引进了层次分析法(AHP)、延拓云模型和BP神经网络等现代计算方法,对历史观测数据进行变化规律分析和趋势预测。该平台建立以后,显著提高了安全监测数据分析质量和可视化程度,加快了监测成果的发布效率,对充分发挥安全监测系统作用,保证水工建筑物安全健康运行具有重要指导意义。 展开更多
关键词 安全监测数据分析软件 可视化平台 智慧化建设
在线阅读 下载PDF
软件安全性分析技术在基于通信的列车控制车载子系统中的应用 被引量:1
5
作者 曹彬 《城市轨道交通研究》 北大核心 2017年第B08期77-80,共4页
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应... 软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。 展开更多
关键词 软件安全分析 基于通信的列车控制 车载子系统
在线阅读 下载PDF
AP1000主回路系统热工水力瞬态计算程序RETAC的开发 被引量:8
6
作者 王伟伟 苏光辉 +1 位作者 田文喜 秋穗正 《原子能科学技术》 EI CAS CSCD 北大核心 2011年第10期1185-1190,共6页
针对先进压水堆AP1000的具体结构和运行特点,采用FORTRAN程序设计语言,自主开发了用于AP1000主回路系统热工水力瞬态计算的微机型程序RETAC(REactor Transient Analysis Code)。利用程序对AP1000失流事故进行分析,得到了堆芯燃料中心最... 针对先进压水堆AP1000的具体结构和运行特点,采用FORTRAN程序设计语言,自主开发了用于AP1000主回路系统热工水力瞬态计算的微机型程序RETAC(REactor Transient Analysis Code)。利用程序对AP1000失流事故进行分析,得到了堆芯燃料中心最高温度、最小偏离泡核沸腾比(MDN-BR)、稳压器压力、水位及蒸汽发生器二次侧压力、水位等主要系统参数的瞬态特性。分析结果表明,在失流事故初期阶段,堆芯热通道燃料中心最高温度和MDNBR不超出规定限值,满足安全准则要求。RETAC完全采用模块化编程,便于移植和二次开发,可为后续开发自主知识产权的大功率压水堆安全分析程序提供借鉴。 展开更多
关键词 AP1000 热工水力 瞬态分析 安全分析软件 RETAC
在线阅读 下载PDF
Effect of stiffeners on crashworthiness of square aluminium columns considering damage evolution 被引量:1
7
作者 H.R.Allahbakhsh M.Shariati M.Sedighi 《Journal of Central South University》 SCIE EI CAS 2013年第3期599-607,共9页
Combining the optimization and FEM technology,crashworthiness of aluminum extrusions was studied for an automobile safety plan.The effects of longitudinal stiffeners on the crushing of stiffened square columns were st... Combining the optimization and FEM technology,crashworthiness of aluminum extrusions was studied for an automobile safety plan.The effects of longitudinal stiffeners on the crushing of stiffened square columns were studied considering the damage evolution.The numerical analysis was carried out by ABAQUS software.Subsequently,the collapse behavior of aluminum extrusion damage was validated by comparing against solution published in literature.Finally,in order to find more efficient and lighter crush absorber and achieving minimum peak crushing force,response surface methodology(RSM) has been applied for optimizing the aluminum extrusion tube. 展开更多
关键词 damage response surface methodology (RSM) CRASHWORTHINESS STIFFENER
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部