Paper Info
Title
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Abstract
During the synthesis of reactive systems, if we assume some behavioral property of an environment, any specification must include the environmental constraint in their conditions. In general, the behavior of a synthesized reactive system from such specifications only tends to satisfy the specification for the case where the environmental behavior follows these conditions; however, in a real-world setting it is desirable that the behavior of the reactive system satisfies the specification, even in the case of unexpected environmental behavior. We call tolerance for such a case environmental tolerance. In this paper, we give a simple definition of environmental tolerance, and propose a method for synthesizing a reactive system with environmental tolerance. In our method, the winning region of a safety game is computed using the Safraless synthesis method, and this is converted to a mean-payoff game such that a payoff is earned if the specification is satisfied. The optimal strategy for the game is then computed and the resulting reactive system is synthesized. The method is implemented and applied to specifications as an experiment, and it is confirmed that the obtained reactive systems have environmental tolerance.
Year
DOI
Venue
2016
10.1145/2897667.2897672
FormaliSE@ICSE
Keywords
Field
DocType
Reactive Systems,Synthesis,Robustness,Temporal Logic
Mathematical optimization,Simulation,Computer science,Robustness (computer science),Theoretical computer science,Temporal logic,Reactive system,Stochastic game
Conference
ISSN
ISBN
Citations 
2380-873X
978-1-4503-4159-2
0
PageRank 
References 
Authors
0.34
12
5
Name
Order
Citations
PageRank
Shigeki Hagihara17812.33
Atsushi Ueno200.34
Takashi Tomita3100.91
Masaya Shimakawa4417.54
Naoki Yonezaki510720.02