Robustness in the Presence of Liveness
Robustness in the Presence of Liveness
复制标题
存在活力时的稳健性
DOI：
10.1007/978-3-642-14295-6_36
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Barbara Jobstmann
中科院分区：
文献类型：
--
作者：
R. Bloem;K. Chatterjee;Karin Greimel;T. Henzinger;Barbara Jobstmann
即使在其规格中没有预见的情况下，系统也应该采取合理的行为，我们建议对鲁棒规格的鲁棒性定义，这些规格的规定，对于任何数量的环境假设，违反的任何环境假设，最小数量的系统保证仍然必须满足此概念可以使用广义反应性公式来制定和实现鲁棒性，我们提出了一种算法，用于从这种公式中合成鲁棒系统的算法，用于广泛性的重要特殊情况等级1的反应性公式，我们的算法提高了具有少量假设和保证的大规格的[PPS06]的复杂性。
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications We propose a definition of robustness for liveness specifications which prescribes, for any number of environment assumptions that are violated, a minimal number of system guarantees that must still be fulfilled This notion of robustness can be formulated and realized using a Generalized Reactivity formula We present an algorithm for synthesizing robust systems from such formulas For the important special case of Generalized Reactivity formulas of rank 1, our algorithm improves the complexity of [PPS06] for large specifications with a small number of assumptions and guarantees.