一句话：提出将系统鲁棒性定义为仍能保证目标性质的最大环境偏差行为集合，并给出自动计算方法。
软件系统在设计时对环境有假设，运行环境可能偏离预期，从而破坏系统性质。为支持对潜在环境偏差的鲁棒设计，论文提出一种严格的软件系统鲁棒性概念：鲁棒性是系统仍能保证所需性质的最大环境偏差行为集合。基于该概念，作者定义了一组新的设计分析问题，并给出在给定系统行为描述时自动计算鲁棒性的技术。通过在网络协议和安全关键接口两个案例上的应用，展示了该鲁棒性概念的潜在用途。
Software systems are designed and implemented with assumptions about the environment. However, once the system is deployed, the actual environment may deviate from its expected behavior, possibly undermining desired properties of the system. To enable systematic design of systems that are robust against potential environmental deviations, we propose a rigorous notion of robustness for software systems. In particular, the robustness of a system is defined as the largest set of deviating environmental behaviors under which the system is capable of guaranteeing a desired property. We describe a new set of design analysis problems based on our notion of robustness, and a technique for automatically computing robustness of a system given its behavior description. We demonstrate potential applications of our robustness notion on two case studies involving network protocols and safety-critical interfaces.