Specification-centered robustness

R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, IEEE, 2011, pp. 176–185.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published | English
Author
; ; ; ;
Abstract
In addition to being correct, a system should be robust, that is, it should behave reasonably even after receiving unexpected inputs. In this paper, we summarize two formal notions of robustness that we have introduced previously for reactive systems. One of the notions is based on assigning costs for failures on a user-provided notion of incorrect transitions 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.
Publishing Year
Date Published
2011-07-14
Page
176 - 185
Conference
SIES: International Symposium on Industrial Embedded Systems
Conference Location
Vasteras, Sweden
Conference Date
2011-06-15 – 2011-06-17
IST-REx-ID

Cite this

Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Specification-centered robustness. In: IEEE; 2011:176-185. doi:10.1109/SIES.2011.5953660
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2011). Specification-centered robustness (pp. 176–185). Presented at the SIES: International Symposium on Industrial Embedded Systems, Vasteras, Sweden: IEEE. https://doi.org/10.1109/SIES.2011.5953660
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness,” 176–85. IEEE, 2011. https://doi.org/10.1109/SIES.2011.5953660.
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Specification-centered robustness,” presented at the SIES: International Symposium on Industrial Embedded Systems, Vasteras, Sweden, 2011, pp. 176–185.
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2011. Specification-centered robustness. SIES: International Symposium on Industrial Embedded Systems 176–185.
Bloem, Roderick, et al. Specification-Centered Robustness. IEEE, 2011, pp. 176–85, doi:10.1109/SIES.2011.5953660.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar