IEC TR 618382009 — 核电厂仪控系统形式化方法应用指南+源标准.pdfVIP

IECTR61838:2009—核电厂仪控系统形式化方

法应用指南

核安全系统形式规约与验证技术指导手册

标准编号：IECTR618382009|适用范围：核电厂仪控系统中的形式化方法|类别：核安全与软件工程

关键要点

IECTR618382009提供了在核电厂安全关键仪控系统的规约、设计和验证中应用基于数学的形式

化方法的全面指导，帮助实现安全功能所需的最高系统完整性等级。

1.标准范围与目的

IECTR61838:2009是一份技术报告，为核电厂仪控系统开发中使用形式化方法提供指导。形式化

方法是基于数学的技术，用于软件和硬件系统的规约、开发和验证。与传统测试只能证明错误的存

在而不能证明其不存在不同，形式化方法能够提供严格的证明，确认系统在所有可能的运行条件下

满足其指定的属性。该标准涵盖完整的开发生命周期，包括需求形式化、使用形式语言进行系统规

约、基于精化的设计和通过定理证明与模型检测进行的形式验证。它旨在补充IEC61513的系统级要

求和IEC60880的软件要求。

适用性说明

IECTR61838是一份提供指导而非要求的技术