...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Reliability Engineering & System Safety >Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application
【24h】

Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application

机译：评论：结合CPN和PVS的安全关键软件需求验证方法的开发：核电站保护系统应用

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

摘要

Son and Seong recently published a paper on how requirements for safety-critical systems can be formally specified and verified using CPN and PVS. They used Wolsung SDS2, currently in operation in Korea, in the case study. While their approach is reasonable and useful, we noticed that their paper is not entirely accurate. We chose to write this correspondence because the clarification of technical errors and/or ambiguities that we found in their paper would benefit research community. This correspondence is organized as follows. In Section 2, we focus on ambiguities in the published translation algorithm. Section 3 describes errors we found in their model and the corresponding PVS specification.
机译：Son和Seong最近发表了一篇论文，内容涉及如何使用CPN和PVS正式指定和验证对安全至关重要的系统的要求。在案例研究中，他们使用了目前在韩国运营的Wolsung SDS2。尽管他们的方法合理且有用，但我们注意到他们的论文并不完全准确。我们之所以选择撰写此书，是因为澄清他们在论文中发现的技术错误和/或歧义将使研究界受益。该对应关系组织如下。在第2节中，我们重点介绍已发布的翻译算法中的歧义。第3节介绍了我们在其模型和相应的PVS规范中发现的错误。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号