演员与灰色故障模型
摘要：并发进程分析的现有模型往往注重故障停止，即进程要么工作，要么永久停止，且其状态（工作/停止）是已知的。实际上，系统通常受到灰色故障的影响：这些故障是潜在的，可能是暂时的，并且可能对系统产生微妙的影响，后来导致重大问题（如崩溃，可用性受限，超载）。我们引入了一个具有灰色故障的基于演员的系统模型，该模型基于两个相互关联的层：一个演员模型，以离散时间为基础的异步过程演算，以及一个表示要注入系统的故障模型。我们的故障模型不仅捕捉到了故障停止节点和链接故障，还捕捉到了灰色故障（如部分故障，暂时故障）。我们基于弱观察等价关系提供了一种行为等价关系，用于基于系统从故障中恢复的能力来比较系统，并在此基础上定义了一些可靠系统的理想属性。通过这样做，我们将系统可靠性属性的检查问题简化为了等价关系的检查问题。
作者：Laura Bocchi and Julien Lange and Simon Thompson and A. Laura Voinea
论文ID：2210.17508
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-14