首页> 外文期刊>IFAC PapersOnLine >A Synthesis of Logic and Biology in the Design of Dependable Systems
【24h】

A Synthesis of Logic and Biology in the Design of Dependable Systems

机译:可靠系统设计中逻辑与生物学的综合

获取原文
       

摘要

The technologies of model-based design and dependability analysis in the design of dependable 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 fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. 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. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits.
机译:近年来,在包括软件密集型系统在内的可靠系统的设计中,基于模型的设计和可靠性分析技术得到了发展。这种发展的大部分可以归因于形式逻辑的先进应用及其在系统的故障预测和验证中的应用。同时,通过自动探索​​潜在的大型设计空间,有关生物启发技术的研究显示了工程系统进化设计的潜力。我们还没有看到能够有效地结合整个设计生命周期的这两种技术的设计范式的出现,这两种技术都以形式逻辑和生物学的两个支柱为基础。这样的设计范例将从设计的早期阶段就协同而系统地应用这些技术,以实现对新设计的最佳优化,而新设计可以由可靠性要求有效地驱动。本文为可信赖的系统设计绘制了以模型为中心的范例,将这些技术整合在一起以实现其潜在的综合效益。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号