Synthesizing Robust Systems

Roderick Paul Bloem; Karin Greimel; Thomas Henzinger; Barbara Jobstmann

doi:10.1109/FMCAD.2009.5351139

Synthesizing Robust Systems

Roderick Paul Bloem^*
, Karin Greimel
, Thomas Henzinger
, Barbara Jobstmann

^*Corresponding author for this work

Institute of Information Security (7050)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environment deviates from its expected behavior, a correct system can behave arbitrarily. We want to synthesize robust systems that degrade gracefully, i.e., a small number of environment failures should induce a small number of system failures. We define ratio games and show that an optimal robust system corresponds to the winning strategy of a ratio game, where the system minimizes the ratio of system errors to environment errors. We show that ratio games can be solved in pseudopolynomial ti

Original language	English
Title of host publication	Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009
Publisher	.
Pages	85-92
DOIs	https://doi.org/10.1109/FMCAD.2009.5351139
Publication status	Published - 2009

Access to Document

10.1109/FMCAD.2009.5351139

robustness.pdfAccepted author manuscript, 166 KB

Formal Methods for Design & Verification
Könighofer, R. (Attendee), Hofferek, G. (Attendee), Jacobs, S. (Attendee), Bloem, R. (Coordinator), Braud-Santoni, N. (Attendee), Khalimov, A. (Attendee) & Könighofer, B. (Attendee)
1/02/08 → 15/07/19
Project: Research area
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Greimel, K. (Attendee / Assistant), Hofferek, G. (Attendee / Assistant), Bloem, R. (Project manager) & Könighofer, R. (Attendee / Assistant)
1/01/08 → 30/06/10
Project: Research project

Cite this

@inproceedings{ebc75de2f64a4b998c999010f8fcebc5,

title = "Synthesizing Robust Systems",

abstract = "Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environment deviates from its expected behavior, a correct system can behave arbitrarily. We want to synthesize robust systems that degrade gracefully, i.e., a small number of environment failures should induce a small number of system failures. We define ratio games and show that an optimal robust system corresponds to the winning strategy of a ratio game, where the system minimizes the ratio of system errors to environment errors. We show that ratio games can be solved in pseudopolynomial ti",

author = "Bloem, \{Roderick Paul\} and Karin Greimel and Thomas Henzinger and Barbara Jobstmann",

year = "2009",

doi = "10.1109/FMCAD.2009.5351139",

language = "English",

pages = "85--92",

booktitle = "Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009",

publisher = ".",

}

TY - GEN

T1 - Synthesizing Robust Systems

AU - Bloem, Roderick Paul

AU - Greimel, Karin

AU - Henzinger, Thomas

AU - Jobstmann, Barbara

PY - 2009

Y1 - 2009

N2 - Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environment deviates from its expected behavior, a correct system can behave arbitrarily. We want to synthesize robust systems that degrade gracefully, i.e., a small number of environment failures should induce a small number of system failures. We define ratio games and show that an optimal robust system corresponds to the winning strategy of a ratio game, where the system minimizes the ratio of system errors to environment errors. We show that ratio games can be solved in pseudopolynomial ti

AB - Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environment deviates from its expected behavior, a correct system can behave arbitrarily. We want to synthesize robust systems that degrade gracefully, i.e., a small number of environment failures should induce a small number of system failures. We define ratio games and show that an optimal robust system corresponds to the winning strategy of a ratio game, where the system minimizes the ratio of system errors to environment errors. We show that ratio games can be solved in pseudopolynomial ti

U2 - 10.1109/FMCAD.2009.5351139

DO - 10.1109/FMCAD.2009.5351139

M3 - Conference paper

SP - 85

EP - 92

BT - Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009

PB - .

ER -

Synthesizing Robust Systems

Abstract

Access to Document

Fingerprint

Projects

Formal Methods for Design & Verification

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

Cite this