| 术语 | 描述 |
|---|---|
| 可验证性 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 | 运行期在目标处理器上运转的软件,例如用于如下目的软件:输入/输出驱动、服务、中断管理、调度程序、通讯驱动、面向应用的库、在维护、诊断、冗余和逻辑管理。 |
| 软件工具 各类开发、验证、分析工具 | 用于支持软件开发活动,有助于软件和系统设计正确性的工具,包括代码生成器、编译器、静态分析工具、测试工具等。 |
Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-07-30 08:39