Exploring specification pattern based behavioral synthesis with scenario clauses

No Thumbnail Available
Date
2018-10
Authors
Asteasuain, Fernando
Calonge, Federico
Dubinsky, Manuel
Journal Title
Journal ISSN
Volume Title
Publisher
Universidad Nacional del Centro de la Provincia de Buenos Aires
Abstract
The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with open systems and controllability of events. In this work we present an extension of the FVS language to denote behavior in open systems. By relying on an existing behavioral synthesis technique based on the specification patterns we show how FVS specification can be used as input to automatically build a controller from its specification.
Description
Keywords
open systems, behavioral specifications, synthesis
Citation
Asteasuain, F.; Calonge, F.; Dubinsky, M. (2018). Exploring specification pattern based behavioral synthesis with scenario clauses. In: Congreso Argentino de Ciencias de la Computación, CACIC. 24. 18-12 oct 2018, Tandil, Argentina. Libro de Actas. Tandil : Universidad Nacional del Centro de la Provincia de Buenos Aires. p.:602-611