One-Step自动化工具的开发与鉴定.pdfVIP

第４０卷第１０期自动化仪表Ｖｏｌ４０Ｎｏ１０

２０１９年１０月ＰＲＯＣＥＳＳＡＵＴＯＭＡＴＩＯＮＩＮＳＴＲＵＭＥＮＴＡＴＩＯＮＯｃｔ.２０１９

Ｏｎｅ￣Ｓｔｅｐ自动化工具的开发与鉴定

徐国雄ꎬ杨永祥

(ＤｏｏｓａｎＨＦＣｏｎｔｒｏｌ集团ꎬ德克萨斯卡罗尔顿７５００６)

摘要:用于过程控制的数字化控制系统的应用逻辑ꎬ通常采用ＣＡＤ图表或者回路示意图表示ꎮ其中ꎬ把ＣＡＤ图表转换成逻辑方程的

过程费时费力ꎬ且容易出现错误ꎮ因此ꎬ实现转换过程的自动化ꎬ并保证转换和实现过程中控制回路算法的零错误ꎬ对于在核工业中用到

的关键控制回路尤其重要ꎮ基于如上考虑ꎬ开发了一款能够实现逻辑转化自动化的工具———Ｏｎｅ￣ＳｔｅｐꎮＯｎｅ￣Ｓｔｅｐ自动化软件工具的开发

遵守了美国核管会支持的相关工业标准的生命周期过程ꎮＯｎｅ￣Ｓｔｅｐ软件工具的架构由两个软件模块组成:其中一个模块用于生成方程

逻辑文件ꎬ编译目标微处理器或现场可编程门阵列(ＦＰＧＡ)芯片的可下载文件ꎬ另一个模块用于生成图形文件ꎬ便于静态和动态展示ꎮ为

核仪控系统开发软件工具时ꎬ必须确保研发的工具能发挥其预定的功能ꎬ并且满足为其设定的安全级目标ꎮ因此ꎬ在投入使用之前必须

对工具作全面、详尽的鉴定ꎬ以确保工具的合格性ꎮ目前ꎬＯｎｅ￣Ｓｔｅｐ自动化软件工具已经过全面鉴定ꎬ其安全性和可靠性得到了保证ꎮ

关键词:软件ꎻ工具ꎻ逻辑ꎻ自动化ꎻ开发ꎻ鉴定ꎻ验证与确认ꎻ生命周期

中图分类号:ＴＨ￣３９文献标志码:ＡＤＯＩ:１０.１６０８６/ｊ.ｃｎｋｉ.ｉｓｓｎ１０００￣０３８０.２０１９０８０００７

ＤｅｖｅｌｏｐｍｅｎｔａｎｄＩｄｅｎｔｉｆｉｃａｔｉｏｎｏｆＯｎｅ￣ＳｔｅｐＡｕｔｏｍａｔｉｏｎＴｏｏｌ

ＸＵＧｕｏｘｉｏｎｇꎬＹＡＮＧＹｏｎｇｘｉａｎｇ

(ＤｏｏｓａｎＨＦＣｏｎｔｒｏｌｓＣｏｒｐｏｒａｔｉｏｎꎬＣａｒｒｏｌｌｔｏｎ７５００６ꎬＵＳＡ)

Ａｂｓｔｒａｃｔ:ＴｈｅａｐｐｌｉｃａｔｉｏｎｌｏｇｉｃｓｕｓｅｄｉｎａｄｉｇｉｔａｌｃｏｎｔｒｏｌｓｙｓｔｅｍｆｏｒｐｒｏｃｅｓｓｃｏｎｔｒｏｌｓａｒｅｕｓｕａｌｌｙｉｍｐｌｅｍｅｎｔｅｄｔｈｒｏｕｇｈＣＡＤ

ｄｒａｗｉｎｇｓｏｒｌｏｏｐｓｃｈｅｍａｔｉｃｓ.ＴｈｅｐｒｏｃｅｓｓｏｆｔｒａｎｓｌａｔｉｎｇＣＡＤｄｒａｗｉｎｇｓｉｎｔｏｌｏｇｉｃｅｑｕａｔｉｏｎｓｉｓｌａｂｏｒｉｏｕｓａｎｄｅｒｒｏｒ￣ｐｒｏｎｅ.

Ｔｈｅｒｅｆｏｒｅꎬｉｔｉｓｖｉｔａｌｌｙｉｍｐｏｒｔａｎｔｆｏｒｔｈｅａｕｔｏｍａｔｉｏｎｏｆｔｒａｎｓｆｏｒｍａｔｉｏｎｐｒｏｃｅｓｓａｎｄｉｍｐｌｅｍｅｎｔａｔｉｏｎｔｏｒｅａｌｉｚｅｅｒｒｏｒ￣ｆｒｅｅｉｎｋｅｙｃｏｎｔｒｏｌ

ｌｏｏｐｓａｌｇｏｒｉｔｈｍｓｅｓｐｅｃｉａｌｌｙｆｏｒｔｈｅｃｏｎｔｒｏｌｌｏｏｐｓｉｎｎｕｃｌｅａｒｉｎｄｕｓｔｒｙ.ＦｏｒｔｈｉｓｒｅａｓｏｎꎬＯｎｅ￣Ｓｔｅｐｓｏｆｔｗａｒｅｉｓｄｅｖｅｌｏｐｅｄａｓａｎ

ａｕｔｏｍａｔｉｏｎｔｏｏｌｏｆｌｏｇｉｃｔｒａｎｓｆｏｒｍａｔｉｏｎｆｕｎｃｔｉｏｎ.ＴｈｅｄｅｖｅｌｏｐｍｅｎｔｏｆＯｎｅ￣Ｓｔｅｐａｕｔｏｍａｔｉｏｎｓｏｆｔｗａｒｅｔｏｏｌｆｏｌｌｏｗｓｔｈｅｉｎｄｕｓｔｒｙ

ｓｔａｎｄａｒｄｓｌｉｆｅｃｙｃｌｅｅｎｄｏｒｓｅｄｂｙＵＳＮＲＣ.ＴｈｅａｒｃｈｉｔｅｃｔｕｒｅｏｆＯｎｅ￣Ｓｔｅｐｓｏｆｔｗａｒｅｔｏｏｌｃｏｎｓｉｓｔｓｏｆｔｗｏｓｏｆｔｗａｒｅｍｏｄｕｌｅｓ.Ｔｈｅｆｉｒｓｔ

ｍｏｄｕｌｅｉｓａｄｏｐｔｅｄｆｏｒｃｒｅａｔｉｎｇｔｈｅｅｑｕａｔｉｏｎｌｏｇｉｃｆｉｌｅｓａｎｄｃｏｍｐｉｌｅｔａｒｇｅｔｍｉｃｒｏ￣ｐｒ