美利体育登录入口官网

美利体育登录入口官网:NB/T 20055-2011
核电厂安全重要仪表和控制系统执行B类和C类功能的计算机软件

Nuclear power plants-instrumentation and control important for safety-software aspects for computer-based systems performing category B or C functions

NBT20055-2011, NB20055-2011


标准号
NB/T 20055-2011
别名
NBT20055-2011, NB20055-2011
发布
2011年
国际标准分类(ICS)
27.120.99 有关核能的其他标准   
总页数
41页
发布单位
行业标准-能源
当前最新
NB/T 20055-2011
 
 
引用标准
ISO 9000-3:1997 NB/T 20026-2010 NB/T 20052-2011
 
 
本体
软件生命周期
适用范围
本标准规定了核电厂安全重要仪表和控制(I&C)系统执行B类和C类功能的计算机软件的要求。 本标准适用于核电厂基于计算机的系统的软件生命周期中的每个阶段。
术语描述
可验证性
Verifiability
将规格书所定义的行为,用通过规定的行为表达式和某些输入值得出与实际值显示的过程。
应用功能
Application function
I&C 系统的功能,该功能执行与受控过程有关而与系统本身功能无关的任务。
面向应用的语言
Application-oriented language
专门为某类应用而设计的,并视相关专家使用的计算机语言。
应用软件
Application software
I&C 系统的软件中实现应用功能的那部分软件。
参数
Parameter
控制 I&C 系统和(或)其软件行为的数据项,该数据项可在电厂运行期间由操作员修改。
预开发软件
Pre-developed software
现有的、作为商品或专有产品可得到的、用于基于计算机系统的软件。
程序
Program
由编程人员编写并由自动化工具转换成可执行代码的文档块。
安全防范
Security
对计算机软件、硬件进行的保护,以防止其受到意外的或故意的存取、滥用、修改、毁坏或泄密。安全也涉及对人体、系统、通信以及计算机安全的物理保护。
软件
Software
与基于计算机的 I&C 系统运行相关的程序、库、指令、数据、规则和所有相关文档。
软件修改
Software modification
对已经批准的文件或文件集进行的修改,且该修改将导致可执行代码改变。
软部件
Software component
组成软件项的设计实体之一。它可被分解为其他的软部件。
软件开发
Software development
生成一个系统软件或软件产品的软件生命周期的阶段。该阶段覆盖所有活动,从软件需求规格说明到现场确认和安装。
软件安全生命周期
Software safety life cycle
安全重要 I&C 系统软件开发或运行过程中所涉及的必要活动,包含从概念设计提出软件需求规格书开始,到软件不再使用而结束这段时间。
静态分析
Static analysis
根据一个系统或部件的形式、结构、内容或文件记录对其进行评估的过程,与动态分析相对应。
系统软件
System software
为特定计算机或美利体育官网首页网址族设计的,便于计算机系统及其相关程序的开发、运行和修改的 I&C 系统软件部分。
故障
Failure
提供的服务偏离预期服务的现象。
缺陷
Flaw
硬件、软件或系统部件中的缺点。
功能确认
Function validation
验证与电厂功能和性能要求相符的应用功能规格说明的准确性。它是验证系统与功能规格说明一致性的系统确认的补充。
通用语言
General-purpose language
为解决所有应用类别而设计的计算机语言。
集成
Integration
将部件逐步地集并验证形成完整的系统。
I&C 体系结构
I&C architecture
核电厂安全重要 I&C 系统的组织结构。
错误
Mistake
产生非预期结果的人为动作或非动作。
行为模式
Mode of behavior
提供特定运行行为的物项的功能状态。
操作系统软件
Operating system software
运行期在目标处理器上运转的软件,例如用于如下目的软件:输入/输出驱动、服务、中断管理、调度程序、通讯驱动、面向应用的库、在维护、诊断、冗余和逻辑管理。

美利体育登录入口官网: NB/T 20055-2011 中提到的仪器美利体育官网首页网址

软件工具

各类开发、验证、分析工具
用于支持软件开发活动,有助于软件和系统设计正确性的工具,包括代码生成器、编译器、静态分析工具、测试工具等。

美利体育登录入口官网: 其他标准


美利体育登录入口官网: 专题


美利体育登录入口官网: NB/T 20055-2011相似标准


美利体育登录入口官网: 谁引用了NB/T 20055-2011 更多引用





Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-07-30 08:39

美利体育(meili)官方网站_美利体育手机版下载