• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Progress in Nuclear Energy >Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology
【24h】

Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

机译：使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper compares two standards, namely IEC 60880 and IEEE 1012, and defines a harmonized core amongst them with regard to their verification and validation processes for the nuclear power plant instrumentation and control safety system software. The problem of harmonizing standards requires a transparent representation of standards in order to make comparison possible. A model-based methodology using SysML is used to establish this transparency. Transformation rules are a crucial part of the methodology. These enable the natural language used in a standard to be translated into structural and behavioural models in SysML. Due to the high level of ambiguity of natural language, certainty definition rules for objects and operations are established as well. The result is a rigorously developed harmonized core that is traceable to the parent standards. The core developed using our methodology supports the argument that there is no one-to-one mapping between major IEEE and IEC standards. Nevertheless, some intersections between them do exist, which support the opinion of other experts. The extent of the harmonization depends on the conformance or traceability. The methodology also offers promise to address the challenge of establishing a harmonized core and the formal transferability between future standards. (C) 2017 Elsevier Ltd. All rights reserved.
机译：本文比较了两个标准，即IEC 60880和IEEE 1012，并在它们对核电厂仪表和控制安全系统软件的验证和确认过程中定义了一个统一的核心。统一标准的问题要求透明地表示标准，以便进行比较。使用SysML的基于模型的方法可用于建立这种透明度。转换规则是该方法的关键部分。这些使标准中使用的自然语言能够转换为SysML中的结构和行为模型。由于自然语言的高度模糊性，还建立了对象和操作的确定性定义规则。结果是严格开发的统一核心，可追溯到父标准。使用我们的方法开发的核心支持以下论点：主要的​​IEEE和IEC标准之间没有一对一的映射。但是，它们之间确实存在某些交叉点，这支持了其他专家的观点。协调的程度取决于一致性或可追溯性。该方法还有望解决建立统一核心和未来标准之间正式可移植性的挑战。 （C）2017 Elsevier Ltd.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号