BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Specification-Centered Robustness 
DTSTART:20110620T151500
DTSTAMP:20260410T131653Z
UID:3d20139160253fbcc463c034ba8b4e308594eb43df4a24527b5c94d7
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dr Barbara Jobstmann\, Vérimag\, CNRS and University of Greno
 ble\nIn addition to being correct\, a system should be robust\, that is\, 
 it should react reasonably even to unexpected inputs.  In this talk\, I wi
 ll summarize two formal notions of robustness that we have introduced prev
 iously for reactive systems. One of the notions assigns cost to failures b
 ased on a user-provided notion of an incorrect\ntransition in a specificat
 ion. Here\, we define a system to be robust if a finite number of incorrec
 t inputs does not lead to an infinite number of incorrect outputs. We also
  give a more refined notion of robustness that aims to minimize the ratio 
 of output failures to input failures. The second notion is aimed at livene
 ss. In contrast to the\nprevious notion\, it has no concept of recovery fr
 om an error.  Instead\, it compares the ratio of the number of liveness co
 nstraints that the system violates to the number of liveness constraints t
 hat the environment violates.  Dr Jobstmann's homepage
LOCATION:BC 01 https://plan.epfl.ch/?room==BC%2001
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR