• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the international topical meeting on advanced reactors safety >Licensing Experiences of Safety Critical Software Systems in Nuclear Applications A Case Study
【24h】

Licensing Experiences of Safety Critical Software Systems in Nuclear Applications A Case Study

机译：核应用中安全关键软件系统的许可经验案例研究

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

摘要

This paper summarizes results of reviews on the safety critical software performed during the licensing process for the new Wolsung units. Each of these CANDU-type nuclear power plants has two micro-computerized shutdown systems. The SDS # 1 program is graphically programmed in such a manner that its development process does not essentially differ from the design process of the conventional analog counterpart. This approach is understandable even to a reviewer in the regulatory agency without additional training in software engineering. The confidence in the reliability of this system is strengthened by the reverse verification and increased by extensive testing such as the reliability test.rnConcerning SDS # 2, the development process is significantly influenced by the "software cost reduction project" of the U. S. naval research laboratory and is, as a whole, clear and well structured except for the modules related to the operation of the computer itself. These modules contain some algorithms which are not easy to understand. However, their correctness verifications are requested by the reviewer and supplemented by the developer. After the clarification of these issues, there are no substantial problems that constitute a significant impediment to licensing.
机译：本文总结了对新Wolsung装置在许可过程中执行的安全关键软件的审查结果。这些CANDU型核电站中的每一个都有两个微机关闭系统。对SDS＃1程序进行图形化编程，以使其开发过程与常规模拟对应物的设计过程基本没有不同。即使没有软件工程方面的额外培训，这种方法甚至对于监管机构中的审阅者也可以理解。通过反向验证增强了对该系统可靠性的信心，并通过了诸如可靠性测试之类的广泛测试来增强对该系统的可靠性。rn关于SDS＃2，开发过程受到美国海军研究实验室的“软件成本降低项目”的显着影响。并且除了与计算机本身的操作相关的模块外，总体上来说是清晰且结构良好的。这些模块包含一些不容易理解的算法。但是，其正确性验证由审阅者请求，并由开发人员补充。在澄清了这些问题之后，没有任何实质性问题构成对许可的重大阻碍。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号