This paper presents the independent Verification and Validation (V&V) process for safety software of Programmable Logic Controller (PLC) ,Digital Reactor Protection System (DRPS), and Engineered Safety Feature-Component Control System (ESF CCS) in Korea Nuclear Instrumentation and Control System (KNICS) projects.
讨论了可编程逻辑控制器、数字化反应堆保护系统和工程安全设施部件控制系统中安全软件的验证与确认过程。
Static analysis of software security techniques and tools
软件安全静态检测技术与工具
This article briefly presents the existing problem within software engineering course teaching and the essentiality of software security,and proposes applying the software security thoughtway to the software engineering course design.
文章简要说明了软件工程课程教学中存在的问题以及软件安全的重要性,提出在软件工程课程设计环节中应引入软件安全思想,并具体说明了面向软件安全的软件工程课程设计的内容。
After specifying common risk simply, this paper puts forward the software risk concept of safety-critical system and the metrics definition of software risk, and discusses the risk analysis and calculation way of safety-critical software.
文章在简述一般风险概念的基础上，提出安全系统软件的风险概念及度量定义，并对安全软件风险的分析计算方法作了讨论。
Based on the research work of the authors to test safety control system of railway station, this paper discusses the whole structure of a test and assessment platform (T&AP) for safety critical software.
本文通过对安全软件测试评估方法的分析和研究,讨论了铁路信号控制系统安全软件测试评估平台的整体结构。
The software safety is destined to play an increasing important role in system safety and becomes one of the most important factors concerned.
讨论了软件安全在过程控制中的重要性。
IEC61508 is a standard for safty,and the software safety is one of its important constituents.
IEC61508是一种安全标准,软件安全是它的一个重要组成部分。
Research on Formal Methods for Safe Software Architecture;
安全软件体系结构的形式化方法研究
The Safety Analysis of a Client Program about 263 E-Mail
263电子邮件客户端软件的安全性分析
Research on Software Description-based Software Update and Its Security Issues;
基于软件描述的软件更新及其安全问题研究
Research on Software Security Framework Based on Software Engineer Thinking
基于软件工程思想的软件安全性保障框架研究
Software Safety Assurance Framework and Safety Technology Application;
软件安全性保障框架及安全性技术应用
Security and Controlling of Applying Software in MIS;
MIS应用软件的安全控制——存取控制的安全问题
Research of CORBA Component s Security Management and the Security Policy of Electric Power System Software;
CORBA组件安全管理及组件式电力系统软件的安全策略研究
Computer software of mine safety MIS is develop ed.
开发了矿山安全管理信息系统软件。
Analysis of TrueCrypt Software s Security Mechanism;
TrueCrypt磁盘加密软件安全机制分析
The Modelling and Application of a New Model of Software Reliability and Safety;
软件可靠性与安全性理论模型及应用
The Study of the Methods for Detecting Security Vulnerabilities in Computer Softwares;
计算机软件中安全漏洞检测方法研究
Automation Test In Network Security Management Software SSE;
网络安全管理软件SSE的自动化测试
Research of Security Frame Based on WAP & Software Realization of WTLS;
基于WAP的安全构架研究及WTLS软件实现
Reserch on Security Testing Technology of Space Armament Software;
航天型号软件的安全性测试技术研究
Dynamic Network Security Based on the Combination of Hardware and Software;
基于软硬件结合的动态网络安全体系
Solutions to the Safety Problems of VFP Software Development;
VFP软件开发安全性问题的解决方案
Research on Key Technologies of PDA Security Management Software
PDA安全管理软件的若干关键技术研究
The security technology of software download and Release Management in Reconfigurable terminals
可重构终端软件安全下载与发布管理