Scholarlink

<p>There is growing interest in the concept of <i>Resilience</i> and balancing resources spent on increasing resilience at the expense of efficiency. From a logical perspective we are interested in formally representing key features of resilience, design principles supporting resilience, and methods to verify system resilience given a formal (in some logic) representation. As background and motivation we review notions of resilience in the context of a variety of systems–digital, natural, societal–along with some examples. We identify some key features of resilience and discuss challenges in developing formal models. After a review of commonly used modeling formalisms and verification problems, we propose an extension that allows modeling resilience features and expressing associated verification problems. We further connect resilience with chance and money by comparing resilience features to principles expressed by the Zurich axioms.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Challenges in Formal Analysis of Resilience: Capturing the Tradeoff Between the Chance of Failure and the Cost of Success

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年6月30日

查看全文
  • Carolyn Talcott

摘要

There is growing interest in the concept of Resilience and balancing resources spent on increasing resilience at the expense of efficiency. From a logical perspective we are interested in formally representing key features of resilience, design principles supporting resilience, and methods to verify system resilience given a formal (in some logic) representation. As background and motivation we review notions of resilience in the context of a variety of systems–digital, natural, societal–along with some examples. We identify some key features of resilience and discuss challenges in developing formal models. After a review of commonly used modeling formalisms and verification problems, we propose an extension that allows modeling resilience features and expressing associated verification problems. We further connect resilience with chance and money by comparing resilience features to principles expressed by the Zurich axioms.