Projects per year
Abstract
Specifications for reactive systems often consist of environment assumptions and system guarantees. An implementation should not only be correct, but also robust in the sense that it behaves reasonably even when the assumptions are (temporarily) violated. We present an extension of the requirements analysis and synthesis tool RATSY that is able to synthesize robust systems from GR(1) specifications, i.e., system in which a finite number of safety assumption violations is guaranteed to induce only a finite number of safety guarantee violations. We show how the specification can be turned into a two-pair Streett game, and how a winning strategy corresponding to a correct and robust implementation can be computed. Finally, we provide some experimental results.
Original language | English |
---|---|
Title of host publication | Proceedings First Workshop on Synthesis (SYNT 2012) |
Pages | 47-53 |
DOIs | |
Publication status | Published - 2012 |
Event | Workshop on Synthesis (SYNT 2012) - Berkeley, California, United States Duration: 7 Jul 2012 → 8 Jul 2012 |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Volume | 84 |
Conference
Conference | Workshop on Synthesis (SYNT 2012) |
---|---|
Country/Territory | United States |
City | Berkeley, California |
Period | 7/07/12 → 8/07/12 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Application
Fingerprint
Dive into the research topics of 'Synthesizing Robust Systems with RATSY'. Together they form a unique fingerprint.Projects
- 3 Finished
-
FWF - RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Project: Research project
-
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Project: Research project
-
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Project: Research area