BEGIN:VCALENDAR
PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Calagator
METHOD:PUBLISH
VERSION:2.0
BEGIN:VTIMEZONE
TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles
BEGIN:STANDARD
DTSTART:20101107T020000
RDATE:20101107T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20101102T180305Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20101109T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20101109T103000
DTSTAMP;VALUE=DATE-TIME:20101102T180305Z
LAST-MODIFIED;VALUE=DATE-TIME:20101102T180344Z
UID:http://calagator.org/events/1250459418
DESCRIPTION:Presented by Lee Pike.&#13\;\n&#13\;\nWe address the problem 
 of runtime monitoring for hard real-time programs—a domain in which corr
 ectness is critical yet has largely been overlooked in the runtime monit
 oring community. We describe the challenges to runtime monitoring for th
 is domain as well as an approach to satisfy the challenges. The core of 
 our approach is a language and compiler called Copilot. Copilot is a str
 eam-based dataflow language that generates small constant-time and const
 ant-space C programs\, implementing embedded monitors. Copilot also gene
 rates its own scheduler\, obviating the need for an underlying real-time
  operating system. This talk will include fun pictures and videos.\n\nTa
 gs: galois\, tech talk\, real time\, formal methods\n\nImported from: ht
 tp://calagator.org/events/1250459418
URL:http://www.galois.com/blog/2010/11/02/tech-talk-copilot-a-hard-real-t
 ime-runtime-monitor/
SUMMARY:Galois Tech Talk: Copilot: A Hard Real-Time Runtime Monitor
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:2
END:VEVENT
END:VCALENDAR