BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Correctness by Construction of High-Integrity Software - Rod Chapm
 an\, Praxis High Integrity Systems
DTSTART:20090311T141500Z
DTEND:20090311T151500Z
UID:TALK15382@talks.cam.ac.uk
CONTACT:Mateja Jamnik
DESCRIPTION:This talk will focus Praxis' experience in building so-called 
 "High-Integrity" software\, where ultra-low defect rate at first deploymen
 t is required for reasons of safety or security.  The talk will describe C
 orrectness by Construction (CbyC) - an engineering approach developed by P
 raxis for such systems\, and SPARK - a programming language that is design
 ed for strong and entirely static verification.  Productivity and defect r
 ate data from several industrial-scale CbyC projects will be presented.\n\
 nSpeaker's biography:\n\nRoderick Chapman received MEng and DPhil degrees 
 from the University of York\, England in 1991 and 1995 respectively. He is
  currently a principal engineer at Praxis High Integrity Systems\, leading
  the design and development of the SPARK language and toolset. Before join
 ing SPARK team\, Rod was involved in the implementation high-integrity rea
 l-time and embedded systems\, including SHOLIS (the first system implement
 ed to the Def Stan 00-55 SIL4 standard)\, the Lockheed Martin C130J Missio
 n Computer\, and the MULTOS CA. Rod has presented tutorials\, papers and p
 anel sessions at many conferences\, including NSA HCSS\, Ada Europe\, and 
 SSTC. He is also an SEI-certified PSP instructor and a Fellow of the Briti
 sh Computer Society.\n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR