期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
Lattjce Diamond设计软件取得道路车辆功能安全认证(ISO26262)
1
《中国集成电路》 2018年第1期6-6,共1页
莱迪思半导体公司(Lattice)日前宣布LatticeDiamond设计软件2.1版本取得道路车辆功能安全认证。ISO26262标准为汽车应用定义了符合功能安全规范的设计方法,涵盖汽车电子和集成安全系统的整个生命周期。在现有电气/电子/可编程电... 莱迪思半导体公司(Lattice)日前宣布LatticeDiamond设计软件2.1版本取得道路车辆功能安全认证。ISO26262标准为汽车应用定义了符合功能安全规范的设计方法,涵盖汽车电子和集成安全系统的整个生命周期。在现有电气/电子/可编程电子安全相关系统(E/E/PES)功能安全(IEC61508)认证的基础上,本次取得的ISO26262认证是对莱迪思功能安全设计流程的进一步提升。 展开更多
关键词 功能安全 安全认证 设计方法 道路车辆 软件 莱迪思半导体公司 集成安全系统 汽车电子
下载PDF
工业控制软件功能安全的实现方法和评估 被引量:4
2
作者 彭瑜 《石油化工自动化》 CAS 2011年第1期1-7,共7页
从趋势上讲,软件和人为因素导致控制系统失效、事故和停机的比例越来越高。这源于现在对软件的依赖越来越高,软件也变得越来越复杂,以至于难以在软件的开发过程中有效地控制软件质量、软件的信息安全和软件的功能安全。从介绍控制系统... 从趋势上讲,软件和人为因素导致控制系统失效、事故和停机的比例越来越高。这源于现在对软件的依赖越来越高,软件也变得越来越复杂,以至于难以在软件的开发过程中有效地控制软件质量、软件的信息安全和软件的功能安全。从介绍控制系统功能安全和安全完整性的基本概念入手,阐述工业控制软件功能安全的概念、安全完整性等级和实现工业控制软件功能安全的流程及方法,包括对编程语言和实时操作系统的要求和选择。还用相当篇幅讨论工业控制软件功能安全的验证和确认的基本方法,指出在软件生命周期的各个阶段都要由第三方进行软件功能安全的验证,为保证最终软件产品的性能,在阶段性验证的基础上最终通过确认来确定它是否满足系统的所有要求。 展开更多
关键词 工业控制软件功能安全 软件功能安全的认证和确认 全可变语言 有限可变语言
下载PDF
安全相关产品的软件确认测试 被引量:5
3
作者 廖丽华 《自动化仪表》 CAS 2019年第4期34-36,41,共4页
针对安全相关产品须执行安全功能的特性,它的软件质量保证贯穿于软件设计与开发的整个安全生命周期。其中,软件确认测试是最关键、最全面且是最后一步的一项测试活动,由独立于设计开发且具备产品经验的人员进行详细确认为宜。针对安全... 针对安全相关产品须执行安全功能的特性,它的软件质量保证贯穿于软件设计与开发的整个安全生命周期。其中,软件确认测试是最关键、最全面且是最后一步的一项测试活动,由独立于设计开发且具备产品经验的人员进行详细确认为宜。针对安全相关产品软件确认测试的过程及方法研究,首先需要制定详细的软件测试计划,并阐述其具体内容;其次从静态测试和动态测试的角度对软件确认测试方法进行了详细的介绍,包括人工分析检查和动态测试;再次对测试结果的评价提出了详细的要求;最后强调了配置管理的完备性和充分性在确认测试过程中的重要性。 展开更多
关键词 功能安全 安全软件 确认测试 静态测试 动态测试 配置管理
下载PDF
“功能安全产品实现技术”系列讲座 第9讲 安全相关产品的软件实现(三) 被引量:1
4
作者 廖丽华 谢亚莲 《自动化仪表》 CAS 北大核心 2014年第2期92-94,共3页
首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准IEC 61508-3:2010(GB/T 20438.3-2013),对软件安全生命周期中代码复审、模块测试与集成测试的一系列验证要求进行了分析,并针对每个阶段的活动流程、内容... 首先介绍了功能安全相关产品软件实现中软件验证与确认的狭义概念。然后基于标准IEC 61508-3:2010(GB/T 20438.3-2013),对软件安全生命周期中代码复审、模块测试与集成测试的一系列验证要求进行了分析,并针对每个阶段的活动流程、内容要求、测试用例设计方法、测试规程、测试结果的评审等做出详细的说明。最后提出安全软件的自身特性。 展开更多
关键词 功能安全 安全软件 验证与确认 代码复审 模块测试 集成测试
下载PDF
仪器仪表产品功能安全评估测试技术研究与分析 被引量:2
5
作者 陶丞 《通信电源技术》 2014年第4期52-55,64,共5页
文中分析工业控制领域中仪器仪表特点和功能安全标准,并横向比较研究安全相关领域,包括核电、铁路、汽车等对于功能安全评估的要求。研究进行评估过程中采用的测试技术,包括EMC试验方法和软件验证和确认方法。功能安全产品的试验不同于... 文中分析工业控制领域中仪器仪表特点和功能安全标准,并横向比较研究安全相关领域,包括核电、铁路、汽车等对于功能安全评估的要求。研究进行评估过程中采用的测试技术,包括EMC试验方法和软件验证和确认方法。功能安全产品的试验不同于普通产品型式试验要求,因此部分EMC试验指标与基础试验标准的试验指标相比,主要在试验时间、范围以及次数上针对功能安全提出要求。同时,在软件验证和确认过程,针对功能安全产品进行软件验证和确认过程,包括文档评审、编码规则检查、单元测试和集成测试。最后就已完成项目,对功能安全评估测试技术进行小结,提出今后研究主要内容。 展开更多
关键词 功能安全 SIL EMC 软件测试 验证和确认
下载PDF
维肯电子推出多总线接口的安全认证微处理器
6
《单片机与嵌入式系统应用》 2012年第7期88-88,共1页
维肯电子面向安全认证、安全通信及嵌入式软件IP保护应用,推出多总线接口的安全微处理器VK8001,可以为各类嵌入式设备,例如金融设备、认证服务器、机顶盒、多功能打印机、密码键盘等信息存储和通信的主体,提供单芯片、高性价比的数... 维肯电子面向安全认证、安全通信及嵌入式软件IP保护应用,推出多总线接口的安全微处理器VK8001,可以为各类嵌入式设备,例如金融设备、认证服务器、机顶盒、多功能打印机、密码键盘等信息存储和通信的主体,提供单芯片、高性价比的数据存储、数据加密、攻击检测、接人认证和通信加密的安全解决方案。 展开更多
关键词 安全认证 微处理器 总线接口 电子 功能打印机 安全解决方案 安全通信 嵌入式软件
下载PDF
联锁系统应用软件的验证 被引量:2
7
作者 姚亚平 齐志华 +1 位作者 徐登科 张萍 《铁道通信信号》 2013年第4期1-4,7,共5页
联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件。主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐... 联锁系统应用软件是独立于系统安全平台进行站场联锁逻辑运算的一种具有特殊用途的通用软件。主要介绍了联锁系统应用软件的开发生命周期,并在对比EN50128:2011和EN50128:2001的基础上明确了联锁系统应用软件验证工作的一般要求,详细阐述了依据EN50128:2011标准对联锁系统应用软件及其开发进行SIL4等级安全认证过程中的各项验证活动。总结出一套适合铁路信号安全相关软件的通用开发验证模式,为以后其他安全相关软件的验证活动提供宝贵的技术积累和经验。 展开更多
关键词 EN50128 2011 安全认证 验证 确认 联锁系统应用软件
下载PDF
浅谈无刷直流电机与控制模块安规认证(下)
8
作者 Flex Wang 《电器》 2008年第11期43-44,共2页
一个具有软件保护功能、商用或家用的无刷直流电机,按UL认证的要求,需要一定的安全规范(见表1)。 在认证的流程上来说,首先要确认此无刷直流电机的最终使用产品是什么,以及该最终使用产品的安规是否接受以UL60730—1A作为控制器... 一个具有软件保护功能、商用或家用的无刷直流电机,按UL认证的要求,需要一定的安全规范(见表1)。 在认证的流程上来说,首先要确认此无刷直流电机的最终使用产品是什么,以及该最终使用产品的安规是否接受以UL60730—1A作为控制器的评估标准。在确认无误后,会先执行控制软件的安规认证,包括与客户以面对面地审查、测试软件, 展开更多
关键词 无刷直流电机 UL认证 控制模块 控制软件 保护功能 安全规范 评估标准 测试软件
下载PDF
桌面安全管理系统的安全评估
9
作者 饶华一 张翀斌 +1 位作者 张宝峰 吴毓书 《中国信息安全》 2010年第4期82-84,共3页
一、桌面安全管理系统概述'桌面安全管理系统'是在当前网络管理事物不断增多而传统安全防御体系存在缺陷的情况下逐渐发展起来的,其主要目的是为了有效的保护内网终端用户,防止重要信息外泄。系统体系结构图i-i所示:
关键词 桌面安全管理系统 磁盘 安全功能 安全防护 计算机外围设备 文档加密 攻击者 身份认证 设备接口 加密数据 终端安全 客户端软件 管理端 计算机安全
下载PDF
嵌入式多核操作系统的形式化建模与验证 被引量:1
10
作者 郝继锋 胡宁 +1 位作者 任晓瑞 周霆 《航空计算技术》 2022年第6期124-128,共5页
在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件... 在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。 展开更多
关键词 安全关键软件 安全认证 形式化方法 嵌入式多核操作系统 时间确定性 功能正确性 形式化建模和验证
下载PDF
给保险行业网络再加把“锁”
11
作者 天华 《网管员世界》 2004年第5期40-40,共1页
保险行业的网络安全直接影响到投保者的利益.随着业务的扩大保险公司面临着如何更好的保护投保者秘密,维护投保者的合法权益等一系列问题。目前.保险行业网络系统的面临着来自于病毒,黑客攻击、恶意入侵等安全威胁,它们可能造成网... 保险行业的网络安全直接影响到投保者的利益.随着业务的扩大保险公司面临着如何更好的保护投保者秘密,维护投保者的合法权益等一系列问题。目前.保险行业网络系统的面临着来自于病毒,黑客攻击、恶意入侵等安全威胁,它们可能造成网络阻塞.传输中断甚至会引起系统瘫痪。从而给公司和广大投保者带来不可估量的损失. 展开更多
关键词 保险行业 网络安全 北京东方龙马软件公司 WLMA300-TX4型 双机防火墙 AAA功能 身份认证 授权 信息分析功能 包过滤
下载PDF
计算机在电子学方面的应用
12
《中国无线电电子学文摘》 2005年第3期132-162,共31页
TP39 2005031539 基于Plug-in的WWW安全认证系统研究/刘世栋,杨林,王小伟,王建新(解放军理工大学)//系统工程与电子技术.-2004,26(6). -811-813 插件(Plug-in)结构能使软件动态寻找和加载特定代码模块,被越来越广泛地采用.在基于B/S体... TP39 2005031539 基于Plug-in的WWW安全认证系统研究/刘世栋,杨林,王小伟,王建新(解放军理工大学)//系统工程与电子技术.-2004,26(6). -811-813 插件(Plug-in)结构能使软件动态寻找和加载特定代码模块,被越来越广泛地采用.在基于B/S体系结构中采用Plug-in技术可以有效地增强浏览器功能.从基于Web的安全认证出发,研究了浏览器中Plug- in程序设计方法,提出了浏览器中采用Plug-in技术实现基于IC卡的用户身份认证方案,通过对服务器资源设定和Web页面改造,实现了用户对服务器Web资源访问控制功能.图1参5(刚) 展开更多
关键词 访问控制功能 算法改进 仿真实验 身份认证方案 安全认证 数字水印 软件动态 小波变换 神经网络 图象分割
原文传递
别让微信成了“危信”
13
作者 仇慧玲 许俭 《当代江西》 2013年第4期50-51,共2页
随着通讯技术的不断发展,微信于近两年成为手机用户一款新兴的聊天交友工具。手机用户可通过手机网络和好友之间进行语音、视频、照片和文字交流。不仅如此,而且还有很多其他新鲜功能。
关键词 文字交流 定位功能 软件设计 个人信息保护 非法信息 安全认证 犯罪分子 栏目责任编辑 网络安全
原文传递
WLAN协议测试及网络监测系统
14
作者 李培林 《机械工业信息与网络》 2005年第5期52-53,共2页
近年来,无线局域网获得了很 大的发展,我国也开始了以 保护国家信息安全和机密为 目的的 WAPI 认证体系。由于 WLAN 实现 了成本节约及更多的功能,对以前未 与 WLAN 连接的各种设备而言,WLAN 都 成了富有吸引力的解决方案。WLAN 带... 近年来,无线局域网获得了很 大的发展,我国也开始了以 保护国家信息安全和机密为 目的的 WAPI 认证体系。由于 WLAN 实现 了成本节约及更多的功能,对以前未 与 WLAN 连接的各种设备而言,WLAN 都 成了富有吸引力的解决方案。WLAN 带 来的巨大的吸引力和潜在的应用,使 得各大厂商各自推出了自己的 WLAN 解决方案,国内许多企业也都在积极 地投入资金和人力进行 WLAN 展开更多
关键词 网络监测系统 协议测试 无线局域网 国家信息安全 数据传送 认证体系 控制帧 无线接入技术 基带部分 软件功能
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部