Robustness in the presence of liveness Conference Paper


Author(s): Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A; Jobstmann, Barbara
Title: Robustness in the presence of liveness
Title Series: LNCS
Affiliation IST Austria
Abstract: 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.
Conference Title: CAV: Computer Aided Verification
Volume: 6174
Conference Dates: July 15-19, 2010
Conference Location: Edinburgh, UK
Publisher: Springer  
Location: Berlin, Heidelberg
Date Published: 2010-01-01
Start Page: 410
End Page: 424
Sponsor: This work was supported by EU grants 217069 (COCONUT), 248613 (DIAMOND), 215543 (COMBEST), and the European Network of Excellence ArtistDesign.
URL:
DOI: 10.1007/978-3-642-14295-6_36
Open access: yes (repository)
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work