检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

高速铁路列控中心软件安全性需求形式化建模

铁道学报 2013年第7期35卷 74-79页

作者：喻钢刘晓文熊静徐中伟杜军威上海大学悉尼工商学院上海201800 铁道部产品质量监督检验中心铁路车站计算机联锁检验站上海201804 海南师范大学信息科学与技术学院海南海口571158 上海工程技术大学航空运输学院上海201620 同济大学电子与信息工程学院上海201804 青岛科技大学信息科学技术学院山东青岛266061

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法。根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,... 详细信息

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法。根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述。通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性。

关键词：高速铁路列控中心安全性形式化建模安全性需求

在线全文

学校读者我要写书评

暂无评论

面向安全性需求的安全构件模型框架研究

计算机应用 2008年第11期28卷 2929-2932,2939页

作者：喻钢徐中伟同济大学嘉定校区电子与信息工程学院上海201804 上海大学嘉定校区悉尼工商学院上海201800

构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架... 详细信息

构件理论在软件工程领域正扮演着越来越重要的角色。基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。为了规范化地描述和设计符合安全苛求软件开发需要的构件,提出了一种形式化的面向安全需求的安全构件(SC)模型框架,利用故障模式与冗余比较来确保构件模型的安全性,并将该模型应用于CTCS-2级列车控制中心仿真系统中。

关键词：安全构件安全苛求软件安全性需求

在线全文

学校读者我要写书评

暂无评论

面向安全性需求的构件组装

计算机工程 2008年第22期34卷 153-155页

作者：韩晶晶徐中伟喻钢同济大学电子与信息工程学院上海201804

构件组装技术无法充分考虑安全苛求软件的安全性需求,可能引发软件的失效。该文在保证安全苛求软件的基本构件满足功能性需求的同时,提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求,使系统按照严格的时序进行状态... 详细信息

构件组装技术无法充分考虑安全苛求软件的安全性需求,可能引发软件的失效。该文在保证安全苛求软件的基本构件满足功能性需求的同时,提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求,使系统按照严格的时序进行状态的变迁,有效避免了故障的发生。

关键词：构件组装安全性需求时间约束

在线全文

学校读者我要写书评

暂无评论

基于误用例的系统安全性需求

计算机工程与设计 2016年第10期37卷 2613-2616,2626页

作者：霍方方姚淑珍谭火彬北京航空航天大学计算机学院北京100191 北京航空航天大学软件学院北京100191

为更高效获取系统的安全性需求,提出一种相对完善的构建误用例模型的方法。识别系统的功能性需求,即用例模型;将危险与可操作性分析(HAZOP)方法的引导词与用例元素相结合,得到相应的偏差;通过分析偏差是否会产生危害来确定误用例,构建... 详细信息

为更高效获取系统的安全性需求,提出一种相对完善的构建误用例模型的方法。识别系统的功能性需求,即用例模型;将危险与可操作性分析(HAZOP)方法的引导词与用例元素相结合,得到相应的偏差;通过分析偏差是否会产生危害来确定误用例,构建误用例模型,得到系统的安全性需求。基于HAZOP的误用例构建方法能够提高安全分析人员的工作效率。通过锅炉供热系统案例,验证了该方法的可行性和有效性。

关键词：误用例用例危险与可操作性分析危害安全性需求

基于安全性需求的长沙贝拉小镇青少年素质教育亲子园规划设计

在线全文

学校读者我要写书评

暂无评论

基于安全性需求的长沙贝拉小镇青少年素质教育亲子园规划设计

作者：李志诚中南林业科技大学

学位级别：硕士

本文的研究对象是基于安全性需求的青少年亲子园规划设计,随着人们的需求改变,青少年亲子园规划设计作为典型性场地,应与时俱进,更好地保障人的安全。首先,本文通过阅读浏览近年发生安全性事故报道以及实地走访周边青少年亲子园场地,总... 详细信息

本文的研究对象是基于安全性需求的青少年亲子园规划设计,随着人们的需求改变,青少年亲子园规划设计作为典型性场地,应与时俱进,更好地保障人的安全。首先,本文通过阅读浏览近年发生安全性事故报道以及实地走访周边青少年亲子园场地,总结出易引发安全性事故的主要有地形过陡、植物有害、园林建筑及构筑物质量差、道路滑、水体过深、设施尖锐等原因。其次,为提升青少年亲子园综合的安全性水平,本文通过文献阅读和案例分析借鉴总结了青少年亲子园要从生理安全和心理安全两方面进行安全性需求综合考虑。生理安全需要通过青少年亲子园中的安全性表达载体满足;而心理安全需要以安全性表达载体为媒介,让青少年亲子在心理上产生安全感。接下来,本文从这两方面出发总结了青少年亲子园规划设计特点,包括使用者的身体尺寸和心理特征以及场地本身功能特点。提出基于安全性需求的青少年亲子园规划设计应满足安全保障、功能明确、环境协调、布局合理和可持续性五个原则。然后,本文根据五大原则,分别从生理安全和心理安全两方面提出对应的设计策略。生理安全方面具体包括:(1)地形要控制坡度,保障交通安全;(2)植物选择要排除有害树种,防止发生中毒、刺伤以及过敏性安全事故;植物种植要结构牢固,防止砸伤安全事故;植物养护要及时并有针对,防止戳伤、划伤安全事故;(3)园林建筑及构筑物要选材合理,采用流线型设计,防止撞伤、戳伤安全事故;(4)道路要人车分流,铺装要防滑耐用,防止撞伤、滑倒安全事故;(5)水体要控制高程,优化驳岸,防止溺水安全事故;(6)园林设施要功能明确,采用流线型设计,防止儿童意外撞伤安全事故。心理安全包括:(1)控制社交距离;(2)强调边界;(3)引导视线。最后,本文以长沙市贝拉小镇青少年素质教育亲子园规划设计为实际案例,将以上设计策略运用到其中,为此后的项目提供借鉴参考。

关键词：生理安全心理安全青少年亲子园安全性需求贝拉小镇

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于RUCM的软件安全性需求描述方法

计算机科学 2015年第12期42卷 65-70页

作者：吴雪刘超吴际北京航空航天大学计算机学院北京100191

随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素。软件安全性需求的正确描述是整个软件安全性工作的关键,它是开展后续软件安全性设计... 详细信息

随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素。软件安全性需求的正确描述是整个软件安全性工作的关键,它是开展后续软件安全性设计、实现与测试工作的依据。然而现有的安全性需求通常被混同于一般功能性描述中,缺乏独立、规范和明确的描述,缺乏对于故障、失效与安全性需求之间相互关系的描述机制,导致在实际应用中缺乏对安全性需求进行准确描述的方法。设计了一种基于结构化模版和约束规则的安全性需求规约,即基于RUCM的安全性需求描述方法Safety RUCM,该方法以RUCM建模方法为基础,通过扩展用例规约模板和限制规则,添加故障描述模版以及数据描述模版,使其能够支持故障相关描述以及相应的安全性需求描述并形成安全性需求规约,最后通过某机载操作系统的案例研究验证了Safety RUCM建模方法的可行性。

关键词：安全性需求 RUCM 数据字典故障

在线全文

学校读者我要写书评

暂无评论

面向体系结构的软件安全性需求开发方法研究

面向体系结构的软件安全性需求开发方法研究

作者：姜超长春理工大学

学位级别：硕士

随着软件在安全性关键系统中的应用规模越来越大、承担的安全性关键指挥控制功能越来越多,安全性关键的软件密集型系统（SCSIS）已初露端倪。在SCSIS中,软件安全性需求被认为是决定系统安全性的一个主要因素。本文旨在研究体系结构... 详细信息

随着软件在安全性关键系统中的应用规模越来越大、承担的安全性关键指挥控制功能越来越多,安全性关键的软件密集型系统（SCSIS）已初露端倪。在SCSIS中,软件安全性需求被认为是决定系统安全性的一个主要因素。本文旨在研究体系结构设计阶段的软件安全性需求开发技术,这是因为：一方面软件体系结构表征了基本的安全性策略,另一方面确保体系结构全面、客观地反映软件安全性需求,将能避免后期返工。本文主要工作和贡献体现在：（1）综述了软件安全性研究现状。剖析了安全性与系统、软件的关系,明确了软件安全性的研究内容、工程过程;讨论了典型的软件安全性需求开发与表示方法,获得了在体系结构设计阶段开发软件安全性需求的重要启示;（2）提出了一种基于目标和场景的软件安全性需求开发方法。该方法要求软件安全性需求开发与体系结构设计协同进行。通过对分配在体系结构上的目标及实现场景进行背离分析,开发出相应的反目标及负面场景。然后针对风险不可接受的负面场景,开发出包含危险处置策略及度量标准的软件安全性需求,求精软件体系结构设计。以一个汽车电传制动系统为例说明了该方法的应用可行性。

关键词：软件安全性安全性需求软件体系结构软件工程安全工程

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电子拍卖的安全性需求与实现技术

网络安全技术与应用 2002年第11期 19-26页

作者：王继林陈晓峰王育民西安电子科技大学ISN国家重点实验室

本文首先讨论了目前电子拍卖网站在安全方面存在的问题,归纳了安全的设计方案要实现的目标,讨论分析了实现安全性需求通常采用的技术手段,然后针对不同拍卖形式下的一些典型的设计方案进行了分析和评价,最后,指出了仍需要进一步研究的... 详细信息

本文首先讨论了目前电子拍卖网站在安全方面存在的问题,归纳了安全的设计方案要实现的目标,讨论分析了实现安全性需求通常采用的技术手段,然后针对不同拍卖形式下的一些典型的设计方案进行了分析和评价,最后,指出了仍需要进一步研究的问题。

关键词：电子拍卖安全性需求竟买者匿名出价保密

民用飞机飞控电子设备托架风扇安全性需求分析

在线全文

学校读者我要写书评

暂无评论

航空科学技术 2016年第12期27卷 34-37页

作者：田亮张新慧中航飞机股份有限公司研发中心陕西西安710089

针对某民用飞机飞控电子设备通风方式,结合其飞控系统架构,从系统安全性角度出发对托架风扇的故障组合进行全面考虑和功能安全性评估。通过建立故障树的形式分别对Ⅰ类和Ⅱ类事件进行定量分析,并将对应的安全性设计目标转化为托架风扇... 详细信息

针对某民用飞机飞控电子设备通风方式,结合其飞控系统架构,从系统安全性角度出发对托架风扇的故障组合进行全面考虑和功能安全性评估。通过建立故障树的形式分别对Ⅰ类和Ⅱ类事件进行定量分析,并将对应的安全性设计目标转化为托架风扇的安全性设计需求,给出了托架风扇的平均故障间隔时间,同时基于ARP4761对托架风扇的安全性进行共模考虑和分析,解决了托架风扇的共模问题。

关键词：托架风扇安全性需求故障树共模故障