首页> 外文会议>International conference on applied informatics >The Use of Simulated Environments in Developing Critical Systems
【24h】

The Use of Simulated Environments in Developing Critical Systems

机译:在开发关键系统中使用模拟环境

获取原文

摘要

A major problem arises when developing high integrity and safety critical systems: it is usually undesirable or impractical to test them within their operating environment, which means that the simulation assumes increased importance. In any application, the accuracy with which a simulated environment models its real counterpart determines its effectiveness in testing. For high integrity systems, the quality of a simulated environment becomes a key factor because the results of testing with the simulator are often used as the basis for acceptance or certification The guidelines and standards that regulate the development of high integrity systems stipulate very little about how the simulators that are used to test them should be produced or validated. Similarly, most of the life cycle models currently in widespread use place little emphasis of this aspect of a project. This paper argues that increased importance should be placed upon the development and validation of simulators, and in particular that the choice of - life cycle model used must encompass environment simulation. It describes life cycle models that emphasise the development of the environment simulators that are used in the testing of safety critical systems and the effect of ihese models upon the management of projects involving the development of high integrity systems. It is believed that this will encourage a more systematic approach to the production of simulators and allow recommendations to be made concerning the various phases of their development in line with their required integrity level. The work described in this paper forms part of CONTESSE, a collaborative project undertaken within the United Kingdom by a consortium of universities and major companies representing several industrial areas including defence, nuclear, aerospace, automotive, and process control.
机译:在开发高完整性和安全关键系统时出现了一个主要问题:在其运行环境中测试它们通常是不希望的或不切实际的,这意味着模拟假设的重要性增加。在任何应用中,模拟环境模型其实际对应物的准确性决定了其在测试中的有效性。对于高完整性系统,模拟环境的质量成为关键因素,因为使用模拟器的测试结果通常被用作接受或认证的基础,规范高完整性系统的发展的准则和标准非常讨论如何应该生产或验证用于测试它们的模拟器。同样,目前广泛使用的大多数生命周期模型都很少强调项目的这个方面。本文认为,应在模拟器的开发和验证时提高重要性,特别是所使用的生命周期模型的选择必须涵盖环境模拟。它描述了强调在安全关键系统测试中使用的环境模拟器的发展的生命周期模型以及IHESE模型对涉及高完整性系统的开发的项目管理的影响。据信,这将鼓励更系统的方法来生产模拟器,并允许建议符合其所需的完整性水平的各个阶段的各个阶段。本文中描述的工作构成了Conteste的一部分,由大学和主要公司的联盟在英国内进行的协作项目,代表包括国防,核,航空航天,汽车和过程控制等几个工业领域。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号