基于PLC软件的建模方法

作者：王雪燃; 张换香

来源：电脑知识与技术, 2018, 14(22): 225-227.

DOI：10.14004/j.cnki.ckt.2018.2747

• 可编程逻辑控制器
• 嵌入式系统
• 建模语言
• 构件方法

可编程逻辑控制器(PLC,Programmable Logic Controler)是一种典型的嵌入式系统。嵌入式系统规模越来越大,迫切需要引入软件工程中的方法,该文将从以建模语言为基础的形式化方法和基于构件的方法两方面进行探究。

• 单位
  内蒙古科技大学