5IEC.IEC 61508 Functional Safety of Electrical/Electronic/Programming Electronic Safety-Related Systems Part 0--Part 7[S].International Electrotechnical Commission,2010.
6IEC.IEC 61511 Functional Safety-Safety Instrumented Systems for the Process Industry Sector[S].International Electrotechnical Commission,2003.
7GOBLE W M.控制系统的安全评估与可靠性[M].白焰,译.2版.北京:中国电力出版社,2008.
8ZHAO Minda.Nuclear Safety-Critical Software V & V Technology[R].AECL,2010.
9HECHT M,BRILL R.Review Guideline for Software Written in High Level Programming Languages Used in Safety Systems[R/OL].[2010-12-20].http://www.sohar.com/proj_pub/download/wrsmpaper3a.pdf.