18009(英语:ISO 18009):Information technology — Programming languages — Ada: Conformityassessment of a language processor(ACATS) IEEE Standard 1003.5b-1996,the POSIX
Safety Zone http://www.theiet.org/ (页面存档备份,存于互联网档案馆) CASS框架,CASS是ConformityAssessment of Safety Systems(安全系統合格評定)的縮寫, http://www.cass.uk.net/ (页面存档备份,存于互联网档案馆)