一种基于有限状态机的核电厂控制软件设计方法

摘要

本发明公开了一种基于有限状态机的核电厂控制软件设计方法，本发明针对反应堆保护装置的系统需求，设计一个有限状态机逻辑，将模块软件的工作模式限定在有限的状态内，通过有限迁移方式进行状态切换。该装置的特点是通过状态矩阵管理内部各种状态信息。可同时覆盖数据采集、功能自诊断、数据上报、错误处理等操作。将原来冗长的代码缩减为状态矩阵，只需要修改矩阵就可改变状态迁移功能。提高了CPU的利用率。本发明具有良好的扩展性和可维护性。