• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International symposium on software reliability, industrial safety, cyber security and physical protection of nuclear power plant >Research on Static Testing Technology of Nuclear Safety-Critical Software Based on FPGA Technology
【24h】

Research on Static Testing Technology of Nuclear Safety-Critical Software Based on FPGA Technology

机译：基于FPGA技术的核安全关键软件静态测试技术研究

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

With the development of FPGA technology, more and more nuclear safety-critical systems use FPGA technology to achieve their functions. To ensure the security and quality of nuclear safety-grade systems based on FPGA technology, the focus is on software functions being implemented correctly and reliably. Software testing is the most important part of software quality assurance software. Software static testing is an indispensable part of software testing. The basic requirements of static testing of nuclear safety-critical software based on FPGA technology are firstly introduced in this paper. The applicability and limitations of the test tool LEDA were analyzed then. Finally, Software static test methods and processes combined with automated tool testing and manual review are proposed, which provides technical support for improving the reliability and security of nuclear safety-Critical FPGA software.
机译：随着FPGA技术的发展，越来越多的核安全关键系统使用FPGA技术来实现其功能。为了确保基于FPGA技术的核安全级系统的安全性和质量，重点是正确，可靠地实现软件功能。软件测试是软件质量保证软件最重要的部分。软件静态测试是软件测试必不可少的部分。本文首先介绍了基于FPGA技术的核安全关键软件静态测试的基本要求。然后分析了测试工具LEDA的适用性和局限性。最后，提出了将软件静态测试方法和过程与自动化工具测试和手动审核相结合的方法，这为提高核安全至关重要的FPGA软件的​​可靠性和安全性提供了技术支持。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号