从无状态优先级到有状态优先级：技术报告
From Stateless to Stateful Priorities: Technical Report
摘要：
我们提出了有状态的优先级的概念，对系统动作施加精确的限制，以满足安全约束。通过使用有状态的优先级，我们能够专门限制由约束指定的错误系统行为，而安全的系统行为仍然不受限制。给定一个系统建模为离散自动机和错误约束的网络，我们提出了算法，使用这些输入来合成有状态的优先级。我们也提出了一个网络转换，它使用合成的优先级，阻止所有系统的行动，导致输入错误。我们的实验与三个现实世界的例子证明了我们的方法的适用性。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
