Email : adriano.valenzano [at]

Research Interests

Techniques And Tools For The Analysis of Networks And Complex Systems (coordinator)

Industrial Communication Systems (coordinator)

Real-Time And Embedded Systems (coordinator)


Phone : +39 011 0905410
Fax : +39 011 0905429
Site :Torino
Position : Director of Research


Main areas of current interest

  • Industrial Communication Systems: fieldbus networks for real-time communications, industrial Ethernet, wireless communications for automation and process control. Security of industrial networks.
  • Techniques and Tools for the Analysis of Complex Systems: formal and semi-formal methods for the specification and analysis of protocols and networks. Formal techniques and tools for the analysis of security properties of cryptographic protocols. Software tools for the security analysis of large computer networks.

Areas of secondary/past interest

  • Communication protocols: design and performance evaluation of protocols for local area networks.
  • Computer architectures: special purpose parallel processor architectures, systolic architectures, parallel algorithms for cellular processors.
  • Operating systems: object-based operating systems, operating systems for advanced processor architectures.
  • Product Data Technology: product data representation, exchange and long-term archiving.

Projects in progress

  • Design of a Next-Generation Real-Time Software Architecture for Consumer Appliances (VELARCH)(2015-present).
  • Genomic Model Predictive Control Tools for Evolutionary Plants (IMET2AL), Italian Flagship Project "Factory of the Future", (2014-2016).
  • Generic Evolutionary Control Knowledge-based Module (GECKO), Italian Flagship Project "Factory of the Future", (2013-2016).
  • Network Technologies for Automation (NEAT), CNR-IEIIT Project (2010-present).
  • Small Scale, Open Source Systems (SSOSS), CNR-IEIIT Project (2007-present).
  • WIreless FACTory and beyond (WI-FACT), Italian Ministry for Education, University and Research (MIUR) project, (2013-2015)
  • Analysis of security countermeasures in plants including Emerson AFC chiller units (SECAFC), CNR-IEIIT Project (2016).

Past Projects

  • Interdependency Modelling Tools and Simulation-Based Risk Assessment of ICT Critical Infrastructures Contingency Plans (INMOTOS), VII EU FP, "Prevention, Preparedness and Consequence Management of Terrorism and other Security Related Risks", (2010-2012).
  • Implementing Manufacturing Science Solutions To Increase Equipment Productivity and Fabrication Performance (IMPROVE), VII EU FP, European Nanoelectronics Initiative Advisory Coucil (ENIAC) Project, (2008-2012).
  • New Advanced Mechanical Systems for Flexible and Customized Production (FLEX-MECH), Piedmont Region Framework Programme on Production Systems, (2009-2012).
  • Dependability and Security by Enhanced Reconfigurability (DESEREC), VI European Framework Programme Integrated Project, (2006-2009).
  • Design and Implementation of a Secure Software System, CNR-IEIIT Project, (2007-2009).
  • Communication Technologies for Automation Systems, CNR-IEIIT Project, (2007-2009).
  • Integrating Execution Environments for Best-Effort and Soft Real-time Applications, CNR-IEIIT Project, (2004-2006).
  • Techniques and Tools for the Development of Distributed Virtual Shops, Coordinated Project of the National Research Council of Italy, (2001-2003).
  • Product Development Co-Operative Multi-Party Rapid and Efficient for Smaller Supplier Companies( PD-COMPRESS), CRAFT European Project, (1999-2000).
  • Industrial Automation Network (IANET), European Training Programme "Leonardo da Vinci", (1996-1998).
  • Tools for the Specification and Verification of Critical Properties in Concurrent and Distributed Systems, Coordinated Project of the National Research Council of Italy, (1995-1997).
  • Standards for Factory Communications, CNR-CENS Project, (1994-1995).
  • Standards in Electronics, Computer Engineering and Industrial Automation, CNR-CENS Project, (1989-1993).
  • Local Integrated Optical Network (LION), European Esprit Project n. 802, (1987-1989).
  • Distributed System Management, European COST-11/bis Project, (1983-1988).
  • Telematics, Italian Ministery of Research National Project, (1984-1987).
  • Distributed Control Systems: Architectures, Operating Systems and Programming Languages, Italian Ministery of Research National Project, (1981-1983).
  • Mechanical Technologies, CNR Italian National Project, (1987-1988).
  • Computer Science, CNR Italian National Project, (1982-1985).