开发安全的、高可靠性的嵌入式软件的标准。