INVESTIGADORES
BRABERMAN Victor Adrian
congresos y reuniones científicas
Título:
Controller synthesis: from modelling to enactment
Autor/es:
VICTOR BRABERMAN; NICOLAS D´IPPOLITO; NIR PITERMAN; DANIEL SYKES; SEBASTIÁN UCHITEL
Lugar:
San Francisco
Reunión:
Conferencia; 2013 International Conference on Software Engineering (ICSE 2013); 2013
Institución organizadora:
IEEE
Resumen:
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
