会议专题

工业控制计算机研究进展与发展趋势

工业控制计算机是一种采用总线结构,对生产过程及其机电设备、工艺装备进行检测与控制的设备的总称.随着技术的快速发展,目前工业控制计算机的概念已超越了这种传统定义,正在涉及计算机科学中越来越多的技术和领域,向着标准化、网络化、智能化、并行处理和高可靠的方向发展.本文针对工业控制计算机快速发展的现状,紧紧围绕工业控制计算机的发展历程及其关键技术,主要论述了三方面的内容.首先,重点论述了总线技术革新驱动下工业控制计算机的发展历史和现状,并对工业控制计算机发展趋势和前景进行了展望.其次,介绍了当前工业控制领域最重要的嵌入式系统中涌现的新技术,即片上系统、片上网络、片上多核并行处理及多核操作系统等.最后,针对工业控制中高可靠和高安全的特殊领域,介绍了当前广泛应用的容错计算机体系结构、可重构技术以及软件形式化验证技术.

工业控制计算机 嵌入式系统 容错体系 可重构技术 形式化验证

工业控制计算机专委会

国内会议

CCF2014-2015中国计算机科学技术发展报告会

北京

中文

324-360

2015-10-01(万方平台首次上网日期,不代表论文的发表时间)