11．3．2 为了保证安全仪表系统逻辑设计正确、文档建立、逻辑修改和更新，逻辑设计应有可读性，复杂功能逻辑图应有逻辑功能说明并应提供正式的文档。

11．3．5 采用逻辑语言设计的软件应有详细的逻辑功能说明和程序说明，并应提供正式的文档。