这是2009年在英国召开的安全关键性系统的会议录。各方面的专家,包括国际上著名的Nancy G. Leveson,从交通安全、社会安全、FPGA的认证、安全性评价和安全性标准等方面讨论了新的进展和面临的挑战