论文标题
从无国籍到州优先事项：技术报告
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.
