DocumentCode
3144566
Title
Controller synthesis: From modelling to enactment
Author
Braberman, Victor ; D´Ippolito, Nicolas ; Piterman, Nir ; Sykes, Daniel ; Ucriitel, Sebastian
Author_Institution
Univ. de Buenos Aires, Buenos Aires, Argentina
fYear
2013
fDate
18-26 May 2013
Firstpage
1347
Lastpage
1350
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.
Keywords
object-oriented programming; software architecture; architecture-level behaviour models; controller synthesis; lower-level software components; model-consistent environment behaviour; third-party components; Adaptation models; Computational modeling; Control systems; Paints; Robots; Safety; Software engineering; Controller Synthesis; LTS; Reactive Planning;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2013 35th International Conference on
Conference_Location
San Francisco, CA
Print_ISBN
978-1-4673-3073-2
Type
conf
DOI
10.1109/ICSE.2013.6606714
Filename
6606714
Link To Document