孙王强
- 作品数：8 被引量：3H指数：1
- 供职机构：北京广利核系统工程有限公司更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 模型检测技术在软件并行缺陷检测中的应用
- 2021年
- 多线程并行运行的软件在提高性能的同时,其交互的组合随着程序规模增大变得更为复杂,给软件的设计与验证带来了挑战。本文从常见的并行缺陷入手,提出使用模型检测的方法对其进行检测和分析,实践表明,使用该方法可有效检测此类并行缺陷。
- 孙王强
- 商品级软件CGD关键特性识别研究被引量：1
- 2019年
- 随着商品级软件在数字化仪控系统中逐步得到应用,为确保核安全,需对商品级软件执行适用性评价和验收(CGD),其中,关键特性的识别是执行CGD活动一个重要的步骤。本文提出从系统的角度识别商品级软件的功能性能特性;依据IEC 60880和IEC 62138,参考软件质量模型,从软件设计特性、软件设计过程体系和使用经验3个维度识别可信性特性。该方法已在实践中得到应用,可供同行借鉴。
- 孙王强王晓燕杜乔瑞徐先柱王嫘
- 关键词：CGD
- 核电站数字化仪控系统安全保密分析方法研究被引量：2
- 2016年
- 核电站数字化仪控系统的信息安全保密分析是核安全级仪控系统软件验证与确认工作的任务之一。按照相关规定,提出了一种基于核安全级仪控系统软件开发全生命周期过程,结合规则检查分析和基于信息流分析的安全保密分析方法。该方法经应用检验能够证实系统在信息安全保密方面的防范能力,在实际项目中得到应用。
- 尹宝娟丁义行孙王强李幼媛赵云飞程建明
- 关键词：信息流
- 网络缓冲区大小的验证方法及装置
- 本申请公开了一种网络缓冲区大小的验证方法及装置。其中，网络缓冲区大小的验证方法包括：S1，仿真生成待处理的离散事件队列，所述离散事件包括网络中各节点收发报文的动作；S2，从所述待处理的离散事件队列的头部取出一个离散事件，...
- 孙王强马光强裴红伟 黄君龙 徐先柱 杜乔瑞王晓燕
- 文献传递
- 一种多网络协议的并行测试装置及测试方法
- 本发明公开了一种多网络协议的并行测试装置及测试方法，包括在线运行部分和离线部分，在线运行部分由依次连接的客户端模块，服务器，检测器模块组成，离线部分即为离线组态工具模块；客户端模块提供实时交互界面，通过网络查询位于服务器...
- 孙王强张亚栋刘建龙王晓燕王金全
- 文献传递
- 网络缓冲区大小的验证方法及装置
- 本申请公开了一种网络缓冲区大小的验证方法及装置。其中，网络缓冲区大小的验证方法包括：S1，仿真生成待处理的离散事件队列，所述离散事件包括网络中各节点收发报文的动作；S2，从所述待处理的离散事件队列的头部取出一个离散事件，...
- 孙王强马光强裴红伟黄君龙徐先柱杜乔瑞王晓燕
- 一种多网络协议的并行测试装置及测试方法
- 本发明公开了一种多网络协议的并行测试装置及测试方法，包括在线运行部分和离线部分，在线运行部分由依次连接的客户端模块，服务器，检测器模块组成，离线部分即为离线组态工具模块；客户端模块提供实时交互界面，通过网络查询位于服务器...
- 孙王强张亚栋刘建龙王晓燕王金全
- 文献传递
- 影响安全级网络通信协议确定性的关键要素分析
- 2016年
- 在国产化核安全级仪控系统研制中,实现具备确定性特点的网络通信协议是一项核心关键技术。本文依据核安全级通信网络协议分析验证的实践经验,提出了影响协议确定性的三项最为关键的因素,包括数字化系统的累计特性、离散特性和并行特性,文中阐述了这些影响因素的常见形式、作用原理、控制方式。通过在国产化安全网络研制项目的应用,表明其对协议确定性分析验证实践具有较好的指导性。
- 孙王强尹宝娟周小波龙威赵云飞
- 关键词：安全协议
