期刊文献+
共找到117篇文章
< 1 2 6 >
每页显示 20 50 100
安全软件验证与确认中的单元模块测试技术 被引量:10
1
作者 李铎 张良驹 冯俊婷 《原子能科学技术》 EI CAS CSCD 北大核心 2008年第6期551-556,共6页
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中... 核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。软件单元测试是V&V过程中的重要环节,主要目的是验证和确认软件代码开发过程中,软件的设计转变为软件代码是适当、正确和完整的。本工作初步研究了安全软件的单元模块测试技术,着重讨论如何保证测试的完整性、建立测试环境、建立测试用例及实施单元模块测试等方面,并以某数字化保护系统安全软件单元模块测试实例说明单元模块测试的具体过程。 展开更多
关键词 安全软件 单元测试 验证与确认
下载PDF
安全编程研究 被引量:4
2
作者 王磊 张玉清 王力 《计算机应用研究》 CSCD 北大核心 2004年第9期130-133,共4页
安全编程是一种消除或降低软件安全威胁的开发模式。现有的安全编程研究是基于特定功能和环境的,在当前安全性已成为绝大多数软件性能的重要指标的情况下,它已无法满足软件安全实现的需要。通过建立一种通用的软件安全威胁模型,提出了... 安全编程是一种消除或降低软件安全威胁的开发模式。现有的安全编程研究是基于特定功能和环境的,在当前安全性已成为绝大多数软件性能的重要指标的情况下,它已无法满足软件安全实现的需要。通过建立一种通用的软件安全威胁模型,提出了不依赖于功能和环境的系统的通用安全编程方法,并按照软件实现阶段进行论述,为进一步建立通用的安全编程模型打下了基础。 展开更多
关键词 安全编程 安全威胁模型 软件安全
下载PDF
安全相关产品的软件确认测试 被引量:5
3
作者 廖丽华 《自动化仪表》 CAS 2019年第4期34-36,41,共4页
针对安全相关产品须执行安全功能的特性,它的软件质量保证贯穿于软件设计与开发的整个安全生命周期。其中,软件确认测试是最关键、最全面且是最后一步的一项测试活动,由独立于设计开发且具备产品经验的人员进行详细确认为宜。针对安全... 针对安全相关产品须执行安全功能的特性,它的软件质量保证贯穿于软件设计与开发的整个安全生命周期。其中,软件确认测试是最关键、最全面且是最后一步的一项测试活动,由独立于设计开发且具备产品经验的人员进行详细确认为宜。针对安全相关产品软件确认测试的过程及方法研究,首先需要制定详细的软件测试计划,并阐述其具体内容;其次从静态测试和动态测试的角度对软件确认测试方法进行了详细的介绍,包括人工分析检查和动态测试;再次对测试结果的评价提出了详细的要求;最后强调了配置管理的完备性和充分性在确认测试过程中的重要性。 展开更多
关键词 功能安全 安全软件 确认测试 静态测试 动态测试 配置管理
下载PDF
基于SCADE的测速定位系统模型设计 被引量:5
4
作者 刘欢 李耀 《铁路计算机应用》 2016年第7期8-12,共5页
针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题,提出了基于SCADE的测速定位系统模型设计,介绍SCADE需求建模以及模型验证方法,分析了一种测速定位模型;在SCADE平台上建立了测速定位系统的模型,通过仿真与验证... 针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题,提出了基于SCADE的测速定位系统模型设计,介绍SCADE需求建模以及模型验证方法,分析了一种测速定位模型;在SCADE平台上建立了测速定位系统的模型,通过仿真与验证,证明模型完全满足测速定位的系统需求与安全性。 展开更多
关键词 SCADE 测速定位 安全软件 形式化验证
下载PDF
HTR-PM反应堆保护系统工程样机的研制 被引量:4
5
作者 李铎 熊华胜 +2 位作者 郭超 张良驹 石铭德 《仪器仪表用户》 2013年第5期36-38,共3页
高温气冷堆核电站(HTR-PM)是国家"十一·五"重大专项支持的重点工程,数字化保护系统是HTR-PM重大专项关键技术及相关试验研究项目之一。HTR-PM保护系统工程样机的安全软件生命周期模型选择了典型的"V"字模型,... 高温气冷堆核电站(HTR-PM)是国家"十一·五"重大专项支持的重点工程,数字化保护系统是HTR-PM重大专项关键技术及相关试验研究项目之一。HTR-PM保护系统工程样机的安全软件生命周期模型选择了典型的"V"字模型,样机研制过程中包括计算机系统设计、软件需求、软件设计、软件实现和计算机系统集成等阶段。与安全软件开发相应的是安全软件的验证与确认,对应每个开发步骤有相应的软件验证与确认活动,以保证安全软件开发过程的质量。保护系统工程样机的成功研制将形成拥有自主知识产权的高温气冷堆核电站配套技术。 展开更多
关键词 反应堆保护系统 安全软件 生命周期模型 验证与确认
下载PDF
基于SCADE与QNX平台的列车测速定位安全软件 被引量:3
6
作者 李耀 陈荣武 谢刚 《计算机应用研究》 CSCD 北大核心 2013年第10期3044-3047,共4页
为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行,通过QN... 为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行,通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。 展开更多
关键词 测速定位 系统建模 安全软件 高安全性应用开发环境 形式化验证 QNX
下载PDF
高速铁路信号系统安全软件质量控制自动化技术研究 被引量:3
7
作者 高海舰 《铁路通信信号工程技术》 2011年第6期9-13,共5页
基于现代软件工程的理论,研究铁路信号产品高安全性软件开发过程中软件质量控制的信息化、自动化与电子化技术。同时,在当前比较流行的软件辅助开发和管理工具的基础上进行重新设计、集成与开发,探索性的实现高安全软件研发过程质量卡... 基于现代软件工程的理论,研究铁路信号产品高安全性软件开发过程中软件质量控制的信息化、自动化与电子化技术。同时,在当前比较流行的软件辅助开发和管理工具的基础上进行重新设计、集成与开发,探索性的实现高安全软件研发过程质量卡控与基线管理信息化、自动化、电子化的目标。 展开更多
关键词 高速铁路 安全性软件 质量控制 自动化 电子化 过程审核 基线 配置管理
下载PDF
高速铁路信号安全软件自动测试案例建模研究 被引量:1
8
作者 徐中伟 吴芳美 《铁道学报》 EI CAS CSCD 北大核心 1997年第S1期110-117,共8页
以微机联锁安全软件测试为例,提出了划分高速铁路微机控制铁路信号设备安全软件输入空间的一种方法。在此基础上,根据所需进行的功能测试、可靠性测试、安全性测试的要求,得到静态和动态两种适于自动生成,可被连续加载的测试案例。... 以微机联锁安全软件测试为例,提出了划分高速铁路微机控制铁路信号设备安全软件输入空间的一种方法。在此基础上,根据所需进行的功能测试、可靠性测试、安全性测试的要求,得到静态和动态两种适于自动生成,可被连续加载的测试案例。最后,讨论了旨在减少测试案例数目,提高测试效率的测试案例自动生成优化策略。 展开更多
关键词 微机联锁 安全软件 软件测试 测试案例
下载PDF
数据静态分析技术及其在安全软件测试中的应用 被引量:2
9
作者 孙志科 《铁路通信信号工程技术》 2021年第5期9-14,32,共7页
对于列车运行控制系统中运行的安全软件,其安全性由软件代码和配置数据两部分共同保证。但是,对于配置数据的常见错误模式,特别是多余数据,单纯依靠传统的黑盒测试技术无法做到全面、快速的检出。介绍将面向软件代码的白盒测试技术中的... 对于列车运行控制系统中运行的安全软件,其安全性由软件代码和配置数据两部分共同保证。但是,对于配置数据的常见错误模式,特别是多余数据,单纯依靠传统的黑盒测试技术无法做到全面、快速的检出。介绍将面向软件代码的白盒测试技术中的静态分析技术引入数据测试的可行性,以及静态分析技术在安全软件数据测试中的典型应用场景,并分析这种技术的优势及不足。 展开更多
关键词 白盒测试 黑盒测试 静态分析 铁路信号 安全软件 多余数据
下载PDF
安全级软件V&V活动流程的探讨 被引量:1
10
作者 何鹏 杨戴博 +3 位作者 朱加良 李红霞 余俊辉 朱毖微 《核动力工程》 EI CAS CSCD 北大核心 2016年第6期90-93,共4页
为了确保核电厂数字化系统中安全级软件的质量,有必要对这些软件开展完善的验证和确认(V&V)活动。在国内外标准体系的指导下,建立合乎标准要求的V&V活动流程,并开展一系列严格和完整的V&V活动,是当前较为可行的提高软件质... 为了确保核电厂数字化系统中安全级软件的质量,有必要对这些软件开展完善的验证和确认(V&V)活动。在国内外标准体系的指导下,建立合乎标准要求的V&V活动流程,并开展一系列严格和完整的V&V活动,是当前较为可行的提高软件质量的手段。本文以HAD102/16-2004和IEEE 1012-2004为依据,详细探讨了安全级软件开发过程的V&V流程,并对V&V活动中一些重要问题进行了讨论,以期为安全级软件的V&V活动开展提供一定的借鉴。 展开更多
关键词 安全级软件 V&V 标准体系 追踪分析 人因故障
原文传递
基于SCADE的制动系统软件开发方法研究 被引量:1
11
作者 杜运哲 杨正专 《电子技术(上海)》 2020年第1期50-52,共3页
安全和可靠性是制动系统控制软件质量的关键要素。基于传统软件开发方式在软件安全性设计、软件质量以及开发与验证效率等方面存在固有的不足,分析传统软件开发方式的不足以及SCADE软件的特点,并以具体项目为实例,通过需求分析、模型设... 安全和可靠性是制动系统控制软件质量的关键要素。基于传统软件开发方式在软件安全性设计、软件质量以及开发与验证效率等方面存在固有的不足,分析传统软件开发方式的不足以及SCADE软件的特点,并以具体项目为实例,通过需求分析、模型设计以及设计验证等过程,阐述基于SCADE的制动系统安全软件开发方法。大量的工程应用表明该开发环境有助于制动系统软件的开发质量,缩短开发周期,满足软件研制需求。 展开更多
关键词 计算机工程 SCADE 制动系统 建模 安全软件
原文传递
软件V&V基于严重性分级的异常处理流程研究 被引量:1
12
作者 申高军 张亚栋 +1 位作者 梁中起 刘春明 《自动化博览》 2017年第5期80-83,共4页
软件V&V是核安全级软件开发过程中评估软件产品的一种系统性方法,与软件开发同步开展。通过软件V&V活动,辨识和解决异常,对软件开发中出现的偏离进行控制。本文结合安全级软件开发生命周期的特点,优化异常处理流程,软件V&V... 软件V&V是核安全级软件开发过程中评估软件产品的一种系统性方法,与软件开发同步开展。通过软件V&V活动,辨识和解决异常,对软件开发中出现的偏离进行控制。本文结合安全级软件开发生命周期的特点,优化异常处理流程,软件V&V对每一阶段发现的异常问题进行影响评估,按后果严重性进行分级,确定异常关键等级。上一阶段关键异常的解决作为下一阶段软件开发结束的必要条件,前一设计阶段的关键异常全部解决后,下一阶段的设计活动才能结束。该异常处理流程可推进关键异常及时解决,防止向后续开发过程传递,有效减少开发后期的异常数量及修复成本。该流程已在某核电项目中得以实施,并取得良好效果。 展开更多
关键词 安全级软件 验证与确认 异常处理流程
下载PDF
软硬件混成系统与协同设计介绍
13
作者 董军 何积丰 《世界科技研究与发展》 CSCD 2005年第4期50-53,共4页
软硬件混成系统或嵌入式系统是用信息化带动工业化的关键技术,在各领域有着巨大应用需求。传统的计算机系统软、硬件各自开发的模式使得目标系统的资源优化不够,可靠性、安全性和实时性难以保障,开发周期和成本也受到很大的影响。在何... 软硬件混成系统或嵌入式系统是用信息化带动工业化的关键技术,在各领域有着巨大应用需求。传统的计算机系统软、硬件各自开发的模式使得目标系统的资源优化不够,可靠性、安全性和实时性难以保障,开发周期和成本也受到很大的影响。在何积丰与HoareC.A.R的统一程序设计理论基础上提出的软硬件混成系统与软硬件协同设计技术,针对上述问题给出了良好的解决途径。本文在回顾他们的关键工作后,描述了软硬件协同设计的关键技术和主要内容。接着介绍具有自主知识产权的“海神”软硬件协同设计平台:在获得用户需求规范后,设计开发者只需根据需求规范用高级语言实现需求阶段所提出的功能,分解器会将其自动分解为软件子系统和硬件子系统的描写并综合。从而提供了一种开发嵌入式系统的良好工具。 展开更多
关键词 协同设计 软硬件混成系统 安全软件 可靠性 软硬件协同设计 混成系统 嵌入式系统 需求规范 开发周期 设计技术
下载PDF
铁路信号安全软件双代码开发方法的研究
14
作者 张振兴 陈志强 孙二敬 《铁路通信信号工程技术》 2020年第12期12-16,共5页
简要介绍多样化编程方法在铁路信号安全软件中的应用,重点对双代码(A/B代码)开发方法进行研究。针对双代码开发的软件结构设计,提出3种不同的双代码结构,对每种结构的特点及优缺点进行详细的分析,并提出一种双代码数据存储方式,可有效... 简要介绍多样化编程方法在铁路信号安全软件中的应用,重点对双代码(A/B代码)开发方法进行研究。针对双代码开发的软件结构设计,提出3种不同的双代码结构,对每种结构的特点及优缺点进行详细的分析,并提出一种双代码数据存储方式,可有效提高信号系统安全性。 展开更多
关键词 铁路信号 A/B代码 双代码 安全软件
下载PDF
基于AHP的安全软件质量综合评价模型
15
作者 刘志勇 周曼 裘坤 《中国仪器仪表》 2015年第2期65-68,共4页
安全软件的质量日益突显,对其的评价也因此变得迫切和必要。基于层次分析法(AHP)对软件进行多维度多指标的综合评价来定量分析安全软件的质量。层次分析综合评价方法不仅具有科学性还具有较强的实用价值。
关键词 安全软件 质量综合评价模型 层次分析法(AHP)
下载PDF
HTR-PM反应堆保护系统软件可靠性模型的初步研究
16
作者 崔聪 李铎 郭超 《仪器仪表用户》 2015年第6期19-24,共6页
高温气冷堆核电站(HTR-PM)是国家"十一·五"重大专项支持的重点工程,数字化保护系统是HTRPM重大专项关键技术及相关试验研究项目之一。研究数字化反应堆保护系统软件的可靠性对提高保护系统的整体可靠性具有重要的意义。... 高温气冷堆核电站(HTR-PM)是国家"十一·五"重大专项支持的重点工程,数字化保护系统是HTRPM重大专项关键技术及相关试验研究项目之一。研究数字化反应堆保护系统软件的可靠性对提高保护系统的整体可靠性具有重要的意义。本文在分析、整理HTR-PM保护系统软件开发过程中记录的测试数据基础上,研究并提出了基于错误严重程度的软件可靠性模型。 展开更多
关键词 反应堆保护系统 安全软件 可靠性 生命周期模型
下载PDF
核电厂DCS安全级软件IV&V流程介绍
17
作者 艾九斤 《价值工程》 2017年第17期223-224,共2页
核电厂DCS系统是整个电厂安全运行控制的神经中枢,由安全级系统和非安全级系统两大部分组成。由于安全级系统用于核反应堆的控制,因此对其可靠性提出了非常严苛的要求。为了确保核电厂DCS安全级系统的可靠性满足设计要求,对其硬件设备... 核电厂DCS系统是整个电厂安全运行控制的神经中枢,由安全级系统和非安全级系统两大部分组成。由于安全级系统用于核反应堆的控制,因此对其可靠性提出了非常严苛的要求。为了确保核电厂DCS安全级系统的可靠性满足设计要求,对其硬件设备采用实验的方法进行可靠性试验,对其软件设计采用IV&V的方法进行可靠性验证。 展开更多
关键词 核电厂 安全级软件 IV&V
下载PDF
我国核安全技术发展战略研究 被引量:8
18
作者 彭述明 夏佳文 +4 位作者 王毅韧 彭现科 黄洪文 郑春 丁文杰 《中国工程科学》 CSCD 北大核心 2021年第3期113-119,共7页
核安全是国家安全体系的重要组成部分,是发展核事业的前提、基础和生命线。先进可靠的核安全技术是保持并提高本质安全的基石,开展核安全技术战略研究对于建设核科技强国意义重大。本文采用“总–分–凝–综”的思路,通过院士访谈、实... 核安全是国家安全体系的重要组成部分,是发展核事业的前提、基础和生命线。先进可靠的核安全技术是保持并提高本质安全的基石,开展核安全技术战略研究对于建设核科技强国意义重大。本文采用“总–分–凝–综”的思路,通过院士访谈、实地调研、会议研讨、资料调研等多种途径,对我国核安全技术体系展开深入研究。结果表明:在总体国家安全观和核安全观的指引下,近年来我国核安全技术进展明显,核安全业绩良好;但也面临核安全标准体系建设有待深化、核安全软件研发统筹不足、核安全高精尖装备受制于人等瓶颈问题。为持续推进核安全治理体系与治理能力现代化,实现核大国向核强国的历史性跨越,建议进一步完善核安全标准体系;统筹资源、集中攻关,推进自主化核安全软件高质量发展;强化“政产学研用”结合,解决高端核安全装备“卡脖子”问题。 展开更多
关键词 核安全技术 标准体系 核安全软件 核安全装备
下载PDF
核安全级数字化仪控系统软件相关标准研究 被引量:6
19
作者 丁义行 谷鹏飞 +1 位作者 毛从吉 王升超 《自动化仪表》 CAS 2015年第11期61-64,共4页
针对核电厂安全级数字化仪控系统的特点,对其软件相关的标准进行了研究。分析了安全级数字化仪控系统软件生命周期的相关标准,以及在软件生命周期的开发阶段执行软件验证和确认(V&V)活动所应遵循的标准,以期为后续核电厂安全级数字... 针对核电厂安全级数字化仪控系统的特点,对其软件相关的标准进行了研究。分析了安全级数字化仪控系统软件生命周期的相关标准,以及在软件生命周期的开发阶段执行软件验证和确认(V&V)活动所应遵循的标准,以期为后续核电厂安全级数字化仪控系统软件的设计审查提供技术参考。 展开更多
关键词 核电厂 数字化仪控系统 安全软件 生命周期 验证和确认 标准
下载PDF
偶氮二异丁酸二甲酯热危险性研究 被引量:4
20
作者 汪维俊 华敏 +2 位作者 潘旭海 徐启铭 蒋军成 《中国安全科学学报》 CAS CSCD 北大核心 2017年第12期116-121,共6页
为规避偶氮二异丁酸二甲酯(AIBME)的潜在热危险,使用差示扫描量热仪(DSC)研究其热分解过程,并利用Kissinger法初步计算活化能;通过热安全软件(TSS)进行数据拟合,得到AIBME的活化能及相关动力学参数,与Kissinger法所得活化能进行比较;利... 为规避偶氮二异丁酸二甲酯(AIBME)的潜在热危险,使用差示扫描量热仪(DSC)研究其热分解过程,并利用Kissinger法初步计算活化能;通过热安全软件(TSS)进行数据拟合,得到AIBME的活化能及相关动力学参数,与Kissinger法所得活化能进行比较;利用所得动力学参数建立热动力学模型,推算AIBME的自加速分解温度(SADT)和最大反应速率到达时间(TMRad)。研究结果表明:TSS进行分步式热分解分析所得AIBME的活化能比Kissinger法所得活化能更准确,所得第一阶段分解所需活化能为88.44 k J/mol,第二阶段为113.87 k J/mol;AIBME的SADT为30℃,在常温下可分解,故在生产、运输和储存过程中应加强温度的监控。 展开更多
关键词 偶氮二异丁酸二甲酯(AIBME) 差示扫描量热仪(DSC) 热安全软件(TSS) 自加速分解温度(SADT) 最大反应速率到达时间(TMRad)
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部