Specification-Centered Robustness
Event details
| Date | 20.06.2011 |
| Hour | 15:15 |
| Speaker | Dr Barbara Jobstmann, Vérimag, CNRS and University of Grenoble |
| Location | |
| Category | Conferences - Seminars |
In addition to being correct, a system should be robust, that is, it should react reasonably even to unexpected inputs. In this talk, I will summarize two formal notions of robustness that we have introduced previously for reactive systems. One of the notions assigns cost to failures based on a user-provided notion of an incorrect
transition in a specification. Here, we define a system to be robust if a finite number of incorrect inputs does not lead to an infinite number of incorrect outputs. We also give a more refined notion of robustness that aims to minimize the ratio of output failures to input failures. The second notion is aimed at liveness. In contrast to the
previous notion, it has no concept of recovery from an error. Instead, it compares the ratio of the number of liveness constraints that the system violates to the number of liveness constraints that the environment violates. Dr Jobstmann's homepage
Practical information
- General public
- Free