【摘 要】
：
软件在安全相关产品中的比重持续上升,与之相关的失效会使设备和用户处于危险之中.为了预防和减少软件失效带来的风险,有必要在设计实现阶段进行安全相关的分析,尽早明确软件可能有的失效.本文结合软件开发的特点,研究并提出一种通过“失效模式影响及危害性分析(FMECA)”和“故障树分析(FTA)”迭代执行的软件安全分析方法.以功能为基础,依据不同开发阶段的活动特点,本文给出了该方法的具体要素和步骤.实际应用表明,该方法能够有效识别大量潜在深层次的软件失效模式.
【机 构】
：
机械工业仪器仪表综合技术经济研究所,北京100055;中铁检验认证中心有限公司,北京100081
论文部分内容阅读
软件在安全相关产品中的比重持续上升,与之相关的失效会使设备和用户处于危险之中.为了预防和减少软件失效带来的风险,有必要在设计实现阶段进行安全相关的分析,尽早明确软件可能有的失效.本文结合软件开发的特点,研究并提出一种通过“失效模式影响及危害性分析(FMECA)”和“故障树分析(FTA)”迭代执行的软件安全分析方法.以功能为基础,依据不同开发阶段的活动特点,本文给出了该方法的具体要素和步骤.实际应用表明,该方法能够有效识别大量潜在深层次的软件失效模式.
其他文献
风景园林学科伴随着中华人民共和国建立,已经创立了七十周年.1951年在梁思成先生的支持下,经中央人民政府教育部批准在北京农业大学成立“造园组”,由北京农业大学园艺系和清华大学营建系进行联合教学,汪菊渊先生、陈有民先生和吴良镛先生等共同组织了造园组的教学工作,开始培养出一批批专业人才,由此开创了我国的风景园林学科教育.截至2021年9月,全国设有风景园林和园林本科专业的院校共278所,其中风景园林专业点198个、园林专业点140个,以及风景园林学一级学科学术型硕士点56个、风景园林学一级学科学术型博士点21
为最大程度降低溢油事故造成的不利影响,提出充分考虑海上油膜漂移特性及溢油点和漂移点对救援物资需求不确定等特点,基于鲁棒优化思想,建立救援应急成本最小、应急时间最短的双目标规划模型,并基于NSGA-Ⅱ算法设计求解方法.结果 表明:决策者可根据自身对溢油事故规模的判断,得到不同应急物资调度方案,为应急出救点的选择和物资调度提供合理决策依据.
针对我国北方冬季存在的大量冷棚(塑料温室大棚)安全性和智能性差,其塑料幕布容易出现意外破损,不能及时被人发现,且温室智能性不足等问题,设计出一套智能型设备,用于提高冷棚的安全性和智能性.本系统除了对温室内温度、湿度、光照等环境变量进行检测控制外,还考虑到在我国北方寒冷大风等恶劣气候下,冷棚幕布容易发生破损,故而对温室的幕布破损情况进行检测.系统采用S3C2440作为主控芯片,在mini2440开发板上,进行接收并解析传感层采集的温室环境数据,进而控制执行器设备动作,保持温室环境稳定.加之LCD来实现温室环
目前,蓄电池在使用过程中可能出现功率无法满足负载,即在突发情况之下电源瞬时输出大功率电流,从而严重影响电源的使用寿命.为此,本文提出一种基于超级电容的电源功率补偿方法,通过单片机系统检测电源输出功率,调整电源输出模式以此达到电源灵活适配负载需求功率,以同时提高电源工作效率和使用寿命的目的 .实验测试结果表明,所开发的系统能够实现在负载瞬时功率过大的情况下解决蓄电池供电电流不足的问题,能够对电源起到保护作用.
对于控制阀选择适合的执行机构是非常重要的,如执行机构过大,阀杆可能受力过大,相反如执行机构过小,则不能产生足够的力矩来充分操作阀门.拨叉式与齿轮齿条式是气动角行程活塞执行机构,本文将对比介绍两种类型执行机构的结构特点,组成零部件、适用工况等.
为系统地梳理并分析自然资源领域安全生产风险,通过文献阅读、现场调研、专家座谈等方法收集自然资源领域内安全生产管理资料,构建包含土地、矿产、海洋、测绘、地勘5大领域的风险评判指标模型,使用集对分析法对模型的可靠性进行检验,采用NVivo质性分析方法对风险评判指标模型进行重要度分析.结果 表明:所构建的风险评判指标模型较为可靠;5个领域下各指标编码频率按照由高到低将指标危险度划分为高度危险、比较危险、一般危险和轻微危险4个等级,其中不按批准用途用地(54)和园区间安全距离不足(51)、越界开采(51)、改变海
针对坡地建筑外立面开口火溢流行为,为了预测不同坡地角度时圆形开口建筑火溢流的外立面热羽流温度分布规律,采用1∶8缩尺寸建筑火灾模型,开展圆形开口建筑火溢流实验研究.结果 表明:在建筑火灾燃烧状态稳定下,对于确定开口尺寸、火源功率以及坡地坡度(倾斜挡墙)下,带有圆形开口的燃烧室内温度基本均匀且保持一致;针对圆形开口建筑,倾斜挡墙坡度越大,外立面的温度越高;基于热羽流温度实验数据,建立考虑不同开口尺寸、火源功率和倾斜挡墙角度影响下圆形开口建筑火灾溢出热羽流的竖向温度预测模型.
根据高压输电线路检测环境,提出一种高压输电线路巡检机器人.以该输电线路巡检机器人为研究对象,采用Denavit-Hartenberg法建立巡检机器人的连杆坐标系,推导巡检机器人的变换矩阵.并应用微分变换法推导巡检机器人的雅可比矩阵,得到操作空间外力(速度)与关节空间内力(速度)的线性映射关系.机器人操作臂的刚度影响整个机器人的动态特性和定位精度,建立巡检机器人的操作臂刚度矩阵,推导了机器人的末端柔度矩阵.通过关节传递运动和动力,得到末端执行器因各个关节力作用而产生的变形方程,结合变形模型计算末端执行器的最
为验证《疫情期间豁免机组成员值勤期、飞行时间限制的实施办法》的可行性,以及为其提供科学依据.以飞行机组成员在驾驶舱内的警觉性变化为验证指标,基于警觉能理论,建立量化评估驾驶舱内飞行机组警觉性的数学模型,以飞行过程中的轮换安排为例进行舱内机组警觉性的数值模拟仿真,并对比分析“CCAR-121部”规章与“豁免办法”中不同飞行时间限制下的舱内机组警觉性预测仿真结果.结果 表明:以文中排班和轮换安排的情况下,以“豁免办法”进行运行时,驾驶舱内飞行机组的警觉性整体上不低于“CCAR-121部”规定,因此,“豁免办法
为快速、高效地对应急物资进行合理的调度,综合考虑突发事件发生后,以最少配送车辆数目及配送通路为目标,构建1套完整的应急配送车辆调度模型,使得应急物资能在各需求点要求的时间窗内完成配送;利用Matlab进行编码设计求解模型,并通过仿真分析,设计考虑时间窗影响的应急物资优化调度方案,最后通过实例验证.结果 表明:本文模型既能实现以最少车辆数配送的交通协同方案;又可减少应急物资配送的车辆成本,满足时间窗要求,使整个应急物流体系更加敏捷可靠.