首页> 外文会议>2015 IEEE Seventh International Conference on Intelligent Computing and Information Systems >Metaheuristics for the design of safety critical systems: A synthesis of logic and biology in system design
【24h】

Metaheuristics for the design of safety critical systems: A synthesis of logic and biology in system design

机译:安全关键系统设计的元启发法:系统设计中逻辑和生物学的综合

获取原文
获取原文并翻译 | 示例

摘要

The technologies of model-based design and dependability analysis in the design of safety critical systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to verification of systems. In parallel, bio-inspired technologies have shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. However, we have not yet seen the emergence of a design paradigm that combines effectively and throughout the design lifecycle these two techniques which are schematically founded on the two pillars of formal logic and biology. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. In my talk I discuss such a model-centric paradigm for the design of systems that brings these technologies together to realise their combined potential benefits, and discuss its embryonic support in the HiP-HOPS (www.hip-hops.eu) dependability analysis and optimisation tool.
机译:近年来,在包括软件密集型系统在内的安全关键系统的设计中,基于模型的设计和可靠性分析技术得到了发展。这种发展的大部分可以归因于形式逻辑的先进应用及其在系统验证中的应用。同时,受生物启发的技术通过自动探索​​潜在的大型设计空间,展现了工程系统进化设计的潜力。但是,我们尚未看到能够有效结合整个设计生命周期的这两种技术的设计范式的出现,这两种技术示意性地建立在形式逻辑和生物学的两个支柱上。这样的设计范例将从设计的早期阶段就协同而系统地应用这些技术,以实现对新设计的最佳优化,这些新设计可以由可靠性要求有效地驱动。在我的演讲中,我讨论了用于系统设计的以模型为中心的范例,这些范例将这些技术整合在一起以实现其潜在的综合优势,并在HiP-HOPS(www.hip-hops.eu)可靠性分析和优化工具。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号