We present the notion of stateful priorities for imposing precise restrictions on system actions, in order to meet safety constraints. By using stateful priorities we are able to exclusively restrict erroneous system behavior as specified by the constraint, whereas safe system behavior remains unrestricted. Given a system modeled as a network of discrete automata and an error constraint, we present algorithms which use those inputs to synthesize stateful priorities. We present as well a network transformation which uses synthesized priorities for blocking all system actions leading to the input error. Our experiments with three real-world examples demonstrate the applicability of our approach.

中文翻译：

---

从无状态到有状态优先级：技术报告

我们提出了对系统操作施加精确限制的有状态优先级的概念，以满足安全约束。通过使用有状态的优先级，我们能够专门限制由约束指定的错误系统行为，而安全系统行为则不受限制。给定一个建模为离散自动机网络和错误约束的系统，我们提出了使用这些输入来合成有状态优先级的算法。我们还提出了一个网络转换，它使用综合优先级来阻止导致输入错误的所有系统操作。我们用三个真实世界的例子进行的实验证明了我们方法的适用性。