Controller synthesis: from modelling to enactment
Abstract
Controller synthesis provides an automated means to produce architecture-level behaviour models that are enacted by a composition of lower-level software components, ensuring correct behaviour. Such controllers ensure that goals are satisfied for any model-consistent environment behaviour. This paper presents a tool for developing environment models, synthesising controllers efficiently, and enacting those controllers using a composition of existing third-party components. Video: www.youtube.com/watch?v=RnetgVihpV4.
BibTeX
@inproceedings{Braberman-al:ICSE13,
author = {V{\'{\i}}ctor A. Braberman and
Nicol{\'{a}}s D'Ippolito and
Nir Piterman and
Daniel Sykes and
Sebasti{\'{a}}n Uchitel},
title = {Controller synthesis: from modelling to enactment},
booktitle = {ICSE},
pages = {1347--1350},
publisher = {{IEEE} Computer Society},
year = {2013},
}