BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260921T093440Z
UID:Seminar-dept-298@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20121030T160000
DTEND:20121030T170000
SUMMARY:School Seminar Series
DESCRIPTION:Ruediger Ehlers: Synthesis of/for robust systems\n\nIn the recent years, research on synthesis of reactive systems from temporal logic specifications has taken up momentum as classical theory on the subject has been complemented with results on the efficient solution of the problem in practice. Traditionally, the perception of the synthesis problem is rather binary: either there exists an implementation for a specification, and we are fine with obtaining any implementation, or there exists none. This view is a bit simplistic, as it completely ignores that different implementations for the same specification can have different levels of quality, and we typically strive for solutions of a high quality when engineering systems.\n\n\n\nThis talk shows how reactive synthesis can help with engineering systems of high robustness, which is one of the major quality considerations in practice. We say that a system is robust if it behaves reasonably in the case that some assumption about its environment is violated or in case of an internal error. First, we discuss how robustness concerns can be incorporated in a practical modern synthesis workflow. Then, we deal with the problem of increasing the robustness of manually constructed systems, and show how reactive synthesis can be utilised to compute runtime monitors for safety-critical systems that can predict problems before they actually arise.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=298
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR