控制系统软件的方法论设计

摘要：

现代计算机技术、VLSI技术的发展为复杂、高级控制系统的实现提供了良好的机遇,而这一机遇却被该类系统设计过程中所遇到的困难所平衡.控制系统软件的设计与开发则是所要克服的主要困难之一.从软件工程角度提出了控制系统软件的方法论设计思想,并对有关问题进行了讨论.

关键词：控制软件、软件工程、形式化方法、离散事件系统

所属期刊栏目：19

分类号：TP273.1(自动化技术及设备)

资助基金：广西教委跨世纪人才基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页码：1-5