The goal of the technical committee on Computers for Control is to coordinate and promote technical activities related to computer & control synergies.

TC 3.1 focuses on all aspects, among others, of:

  • Cyber-physical systems and digital twins including advances in software and hardware architectures,
  • Architectures and Strategies for the Industrial Internet of Things,
  • software engineering related to the architectures of automation systems and functional safety,
  • information modeling in the context of advanced meta-models for a seamless engineering and operation of automated systems, including formal, semantic and architectural quality aspects,
  • IT/OT-Security methods and architectures for automation systems,
  • execution platforms including  multi-core, real-time operating systems, virtualization layer for mixed-criticality systems and networks, as well as
  • advanced education methods in the field of automation technologies.

Special interest of the committee is to promote the application of these methods, techniques, and platforms in different application fields such as, but not limited to, industrial automation systems, process control, robotics, logistics, autonomous systems, healthcare, home automation or energy optimization.



  • Cyber physical systems and Industrial Internet of Things
  • Information models and Digital Twins
  • Software and hardware architectures
  • Control techniques for computer systems
  • Software engineering for real-time control: Modeling languages (UML, SysML, domain languages), verification & validation
  • Model- & simulation-based engineering
  • RT networks: protocols, wireless, ......
  • Development of critical systems: dependability, fault management, Verification & Validation & Certification
  • Platforms for computer control: multicore hardware platforms, real-time operating system, scheduling, virtualizacion layer
  • Safety & IT/OT-Security
  • Model based engineering in automation: SysML, PLCopen XML interface, AutomationML