1) safety-critical software
安全苛求软件
1.
Because the safety-critical software is often directly related to the safety of the people s life and wealth,software has to undergo safety testing strictly.
此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。
2.
Based on the model of safety-critical software,this paper analyzes the existing safety analysis methods and UML modeling language in the applications of safety-critical software, proposes a new method of safety description against the weakness of UML modeling language,and sets up a model of ATP system to verily the feasibility and validity of the method.
该文从安全苛求软件的建模特点出发,分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。
3.
The traditional component technology can t satisfy safety-critical software development requirement.
基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求。
2) safety-critical software
安全性苛求软件
4) safety-critical system
安全苛求系统
1.
Safety-critical systems need to prevent damages to people lives, mass assets or environments caused by unexpected events.
安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。
5) safety software
安全软件
1.
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.
讨论了可编程逻辑控制器、数字化反应堆保护系统和工程安全设施部件控制系统中安全软件的验证与确认过程。
6) software security
软件安全
1.
Static analysis of software security techniques and tools
软件安全静态检测技术与工具
2.
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.
文章简要说明了软件工程课程教学中存在的问题以及软件安全的重要性,提出在软件工程课程设计环节中应引入软件安全思想,并具体说明了面向软件安全的软件工程课程设计的内容。
补充资料：苛求
过严地要求：不要～于人。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条