通过VTT模型检查,发现隐藏的错误并验证对安全至关重要的I&C系统

你的自动化系统是自动保护的吗?VTT模型检查揭示了难以检测的I&C逻辑设计问题,这些问题可能会对生产资产造成损害,导致生产损失,甚至对人员和环境造成危险。VTT在核工业系统的验证方面有十年的经验。我们的团队能够确保不同领域的安全或成本关键系统的可靠性和可用性,例如铁路、航空、基础设施或化工行业。

关键的事实

模型检查可以帮助你预防灾难,无论是在安全和利润方面。

分析是100%详尽的,符合规定的要求。如果可能出现违背需求的场景,模型检查将找到它。

这已经是芬兰核工业的一种行之有效的做法!

设计审查是关键安全系统工程的关键阶段之一,专家分析系统可能出现的问题,比如可能导致系统发出冲突的驱动命令的事件。模型检验是一种有效的形式化的软硬件设计验证方法。该方法以功能需求为基础,根据形式属性对系统模型进行验证。

当作为系统交付项目的一部分进行模型检查时,发现的缺陷可以在调试前很好地纠正。该方法还可以应用于已在使用的系统,以提高安全性和运行效率。

与常见的验证方法(如测试或模拟)相比,模型检查考虑了系统模型的所有相关执行。不需要测试用例计划;相反,该方法自动识别系统将违反其要求的“反例”场景。通过这种详尽的分析,可以在已经通过常规手段验证的系统中发现隐藏的设计错误。

结果是如此显著,我们将订购类似的验证也较低的安全分类。幸运的是,我们可以从VTT购买这些服务!
Topi Tahvonen,模拟器专家,Fennovoima

核能领域的实际项目

VTT在模型验证方面有十年的经验,包括芬兰核电站的系统验证:

Olkiluoto 3是一种正在调试的EPR型反应堆。自2008年以来,在芬兰监管机构STUK的委托下,VTT评估了工厂的基于软件的保护系统和基于fpga的优先级和执行器控制系统。

福图姆在芬兰的洛维萨运营着两座VVER-440型反应堆。在I&C现代化项目ELSA中,VTT对七个不同的系统进行了独立的第三方审查。在此基础上,对反应堆跳闸系统和反应堆动力控制系统进行了设计修改。

Hanhikivi 1是计划在芬兰Pyhäjoki新建的核电站。在Fennovoima公用事业公司的委托下,VTT评估了功能架构,检测可能导致虚假驱动、矛盾命令或其他错误响应的设计问题。

在设计阶段早期发现的设计错误

能源领域的成果非常出色,在安全关键系统中成功发现了一些隐藏的错误。

在福图姆看来,模型检查在核项目中被认为是真正有益的。通过形式化验证,在设计阶段就可以发现更多的缺陷。
Fortum

模型检查可以应用于任何自动化功能用逻辑编程语言(功能块、阶梯或序列图)或硬件描述语言(如VHDL)表示的行业。

我们在Mipro使用了VTT的模型检查作为一种方法,以确保联锁装置的安全性。该方法适用于设计误差的定位,对提高铁路的安全性有一定的帮助。
Kari Haapala,美普罗首席技术官
分享