Exploiting Anti-scenarios for the Non Realizability Problem

Behavioral synthesis is a technique that automatically builds a controller for a system given its specification. This is achieved by obtaining a winning strategy in a game between the system and the environment. Behavioral synthesis has been successfully applied in modern modularization techniques such as Aspect Orientation to compose each particular view of the system in a single piece. When a controller can not be found the engineer faces the Non Realizability Problem. In this work we exploit FVS a distinguishable feature in the FVS specification language called anti-scenarios to address this problem. Several case studies are introduced to show our proposal in action. Additionally, a performance analysis is introduced to further validate our approach.