作者:徐国雄; 杨永祥软件工具逻辑自动化开发鉴定验证与确认生命周期
摘要:用于过程控制的数字化控制系统的应用逻辑,通常采用CAD图表或者回路示意图表示。其中,把CAD图表转换成逻辑方程的过程费时费力,且容易出现错误。因此,实现转换过程的自动化,并保证转换和实现过程中控制回路算法的零错误,对于在核工业中用到的关键控制回路尤其重要。基于如上考虑,开发了一款能够实现逻辑转化自动化的工具——One-Step。One-Step自动化软件工具的开发遵守了美国核管会支持的相关工业标准的生命周期过程。One-Step软件工具的架构由两个软件模块组成:其中一个模块用于生成方程逻辑文件,编译目标微处理器或现场可编程门阵列(FPGA)芯片的可下载文件,另一个模块用于生成图形文件,便于静态和动态展示。为核仪控系统开发软件工具时,必须确保研发的工具能发挥其预定的功能,并且满足为其设定的安全级目标。因此,在投入使用之前必须对工具作全面、详尽的鉴定,以确保工具的合格性。目前,One-Step自动化软件工具已经过全面鉴定,其安全性和可靠性得到了保证。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社