[Todos] Próxima charlas del DC - Nicolás D'Ippolito - ¡Y vue lven los Sandwichitos!

[efeuerst en dc.uba.ar]

Próximo Evento: 29/4/2011. 14:00 hs
Orador: Nicolás D'Ippolito
Departamento de Computación - FCEyN - UBA

Título: From Worlds to Machines through Games


Resumen:
The design of reactive systems is a highly complex task requiring
significant expertise. Consequently, it is highly desirable to have
techniques that automatically generate by construction behaviour models
satisfying a given set of requirements. We present a novel technique for
synthesising behaviour models that works for safety and an expressive
subset of liveness properties and conforms to the foundational
requirements engineering World/Machine model, dealing explicitly with
assumptions on environment behaviour and distinguishing controlled and
monitored actions. This is the first technique that conforms to what is
considered best practice in requirements specifications: distinguishing
prescriptive and descriptive assertions. The technique offers a more
realistic treatment of problem domains by allowing the integration of
failures of controller actions in the environment model. Classical
treatment of failures through strong fairness leads to a very high
computational compl! exity and may be insufficient for many interesting
cases. We identify a realistic stronger fairness condition on the
behaviour of failures. We then identify sufficient conditions on the
environment that ensure the resulting controller will be eager to satisfy
its goals.