IFIP WORKING GROUP 10.5

Design and Engineering of Electronic Systems

The Working Group 10.5 "Design and Engineering of Electronic Systems" belongs to the IFIP Technical Committee 10. It was established in 1994 by merging the old 10.2 and 10.5 working groups.

IFIP WG 10.5 Competency mapping

The major competences and research interests of the WG 10.5 members have been classified in the following 12 topics. They are spread among a wide list of application fields, including Aeronautics, aerospace, avionics, Agriculture, Automotive, Biomedical, Communication and telecommunication, Computer vision, Cybersecurity, Design automation, Digital IC design, Digital twins, EDA tools, Efficient hardware architectures, Embedded software, GPUs, Hardware as a Service, Healthcare and telemedicine, Heterogeneous architectures, Heterogeneous systems, High-performance computing, Human pose estimation, Image processing, Industrial automation, Macromodeling and interconnect modeling, Memories, Neurochips, Pre-application (basic research), Processors, Quantum computing, Reconfigurable and smart surfaces, Reliability, Robotics, Semiconductor industry, Smart cities, Smart systems, Transportation.


Topic Applications and Architectures for AI and ML
Leaders
  • Luc Claesen
  • Luis Miguel Silveira
List of Subtopics
  • Applicaiton of AI and ML
  • Architechtures for AI and ML
Description This topic deals with advances in the field, focusing on algorithms for developing machine learning models, AI-inspired computation models, approximate computing, and security and privacy issues related to AI and ML applications. It also covers design automation at the intersection of ML/AI algorithms and hardware. Key areas include hardware-efficient architectures for deep learning inference and training, power and hardware-efficient computation methods, low bit-width implementations for activations and weights, dynamic evaluation of neural network models, and efficient methods for few- and one-shot learning algorithms.
List of Members
  • Andrea Calimera
  • Florenc Demrozi
  • Ian O'Connor
  • Ioana Vatajelu
  • Luc Claesen
  • Luis Miguel Silveira
  • Matthew Guthaus
  • Nicola Bombieri
  • Nikil Dutt
  • Said Hamdioui
  • Srinivas Katkoori

Topic Communication architectures and technologies
Leaders
  • Dimitrios Soudris
  • Juergen Becker
List of Subtopics
  • 5G/6G technologies
  • RF
  • Network on Chip
Description This topic deals with advancing communication architectures and technologies, with a special emphasis on 5G/6G networks. It includes innovative solutions in radio frequency (RF) technologies to enhance wireless communication systems, the design and optimization of network-on-chip (NoC) architectures, and ensuring efficient data transfer within complex systems. It also covers next-generation communication by integrating cutting-edge RF technologies into future networks.
List of Members
  • Dimitrios Soudris
  • Giovanni De Micheli
  • Juergen Becker
  • Salvador Mir

Topic Computing paradigms
Leaders
  • Ian O'Connor
  • Ioana Vatajelu
List of Subtopics
  • Quantum computing
  • Approximate computing
  • Evolutionary computing
  • In-memory computing
Description This topic deals with systems and accelerators based on novel computing paradigms, including associated modeling, validation, emulation, programming, integration, design, and exploration techniques. It covers emerging models of computation such as approximate computing, in- and near-memory computing, machine learning, reversible computing, evolutionary computing, and quantum computing, with a focus on architectures, encryption, error correction, and cryogenic computing.
List of Members
  • Ian O'Connor
  • Ioana Vatajelu
  • Leandro Soares Indrusiak
  • Nikil Dutt
  • Salvador Mir
  • Srinivas Katkoori

Topic Digital circuits design and synthesis
Leaders
  • H. Fatih Ugurdag
  • Ricardo Reis
List of Subtopics
  • Digital circuits
  • High-level and logic-level synthesis
  • Reconfigurable architectures and systems
  • SoC
Description This topic deals with the design of digital VLSI systems, which demands a complex design flow from high-level design description to layout description. The flow includes synthesis, verification, optimization, and estimation tools. Optimization is necessary at all levels of design abstraction, with a wide range of possible architectures to implement the same digital system, targeting low power, high performance, and resource efficiency. System-on-Chip optimization increasingly relies on hardware accelerators.
List of Members
  • Andrea Calimera
  • Eugenio Villar
  • Giovanni De Micheli
  • H. Fatih Ugurdag
  • Ian O'Connor
  • Katell Morin-Allory
  • Ricardo Reis
  • Victor Grimblatt

Topic Embedded system design
Leaders
  • Eugenio Villar
  • Nicola Bombieri
List of Subtopics
  • Embedded software and toolchains
  • Edge computing
  • Cloud computing
  • Parallel computing and architectures
Description This topic deals with embedded systems design, focusing on the modeling, analysis, design, verification, and deployment of application-specific electronic systems that interact with their physical environment. The goal is to choose and design the proper combination of hardware and software components to meet system-level goals like speed, efficiency, reliability, security, and safety. Areas of interest include real-time systems, cyber-physical systems, parallel computing, networked systems, and dependable systems, with emphasis on model-based design, verification, and embedded software platforms.
List of Members
  • Andrea Calimera
  • Eugenio Villar
  • Graziano Pravadelli
  • Leandro Soares Indrusiak
  • Nicola Bombieri
  • Nikil Dutt
  • Said Hamdioui
  • Tiziana Margaria

Topic Emerging technologies and applications
Leaders
  • Matthew R.Guthaus
  • Said Hamdioui
List of Subtopics
  • Emerging technologies
Description This topic deals with emerging technologies such as artificial intelligence, machine learning, deep learning, edge computing, quantum computing, augmented reality, virtual reality, big data, and blockchain. Applications include the Internet of Things (IoT), autonomous vehicles, agrifood, recommendation systems, robotics, personalized healthcare, smart homes, and smart cities. From the technological point of view, it also encompasses 3D integration, chiplets, non-volatile memories, silicon photonics, design using advanced transistors (sub 2nm, CFETs, 2D material based).
List of Members
  • Giovanni De Micheli
  • Ian O'Connor
  • Ioana Vatajelu
  • Matthew R.Guthaus
  • Nicola Bombieri
  • Nikil Dutt
  • Said Hamdioui
  • Salvador Mir
  • Sara Vinco
  • Tiziana Margaria

Topic Low-power, energy-efficient and thermal-aware design
Leaders
  • Andrea Calimera
  • Pierre-Emmanuel Gaillardon
List of Subtopics
  • Cryogenic processors
  • Low-power design
Description This topic deals with algorithms, design techniques, circuits, and tools for modeling, estimating, or optimizing power consumption and thermal performance in electronic circuits and systems. It covers ultra-low-power systems (e.g., for portable/wearable devices at the edge of the IoT) to high-performance systems (like data centers) and large-scale battery systems (such as electric vehicles). Areas of interest include dynamic/adaptive management techniques for temperature/power/energy optimization, cross-layer hardware/software optimization strategies, and new circuits and architectures for low-power, energy-efficient distributed, and heterogeneous systems.
List of Members
  • Andrea Calimera
  • Eugenio Villar
  • Florenc Demrozi
  • Ian O'Connor
  • Pierre-Emmanuel Gaillardon
  • Salvador Mir
  • Srinivas Katkoori

Topic Security
Leaders
  • Ibrahim Elfadel
  • Srinivas Katkoori
List of Subtopics
  • Hardware security
  • IP Security
  • Secure Hardware Synthesis
Description This topic deals with cybersecurity issues related to the hardware infrastructure underlying computing, storage, or communication systems, particularly when hardware can no longer be considered a root of trust. It covers hardware threats and vulnerabilities, including physical attacks, Trojan horses, IP piracy, IC counterfeiting, backdoors, tampering, and reverse engineering. It also addresses hardware Trojan detection, side-channel attacks, and countermeasures, as well as the security of emerging technologies and physically unclonable functions (PUFs).
List of Members
  • Ibrahim Elfadel
  • Ioana Vatajelu
  • Srinivas Katkoori

Topic Sensing and signal processing technologies
Leaders
  • Chi- Ying Tsui
  • Florenc Demrozi
List of Subtopics
  • Sensors and biosensors
  • Signal processing
  • Circuits and architectures for signal processing
Description This topic deals with sensing and signal processing technologies within intelligent environments and bio-related well-being applications. It explores the development and integration of sensor technologies, innovative signal processing techniques, and energy-efficient read-out circuits for environmental and in-body sensing applications. It also examines the design and architecture of signal processing systems tailored for smart environments, ensuring scalability, reliability, and energy efficiency.
List of Members
  • Chi- Ying Tsui
  • Florenc Demrozi
  • Graziano Pravadelli
  • Ioana Vatajelu

Topic Smart systems, devices and applications
Leaders
  • Saraju Mohanty
  • Victor Grimblatt
List of Subtopics
  • IoT, industrial IoT, IoMT
  • Smart systems
  • Cyber-physical systems
  • Big data
Description This topic deals with IoT systems and applications, focusing on smart systems (e.g., smart cities, smart cars) and smart applications (e.g., smart irrigation, smart wildfire detection). It also covers systems and applications based on big data, cyber-physical systems, and smart sensors for IoT applications, including hardware and software security for these systems.
List of Members
  • Florenc Demrozi
  • Graziano Pravadelli
  • Leandro Soares Indrusiak
  • Nicola Bombieri
  • Nikil Dutt
  • Sara Vinco
  • Saraju Mohanty
  • Srinivas Katkoori
  • Tiziana Margaria
  • Victor Grimblatt

Topic System specification, simulation and verification
Leaders
  • Katell Morin-Allory
  • Tiziana Margaria
List of Subtopics
  • Simulation
  • Verification
  • System specification and modelling
  • Hardware description languages
  • Prototyping and virtual prototyping
Description This topic deals with modeling and specification methodologies for complex HW-SW systems, including simulation-based, semi-formal, or formal validation and verification of SoCs and emerging architectures at any level. It covers testbench and assertion generation, coverage metrics, checker synthesis and optimization, and acceleration-driven and emulation-based approaches for verification and validation.
List of Members
  • Eugenio Villar
  • Graziano Pravadelli
  • Katell Morin-Allory
  • Sara Vinco
  • Tiziana Margaria

Topic Test and dependability
Leaders
  • Matteo Sonza Reorda
  • Salvador Mir
List of Subtopics
  • Design for testability
  • Fault tolerance
  • Fault modelling
  • Testing
  • Reliability
Description This topic deals with test and dependability of digital, analog/RF, mixed-signal, and embedded systems. It covers defect and fault modeling, fault simulation, test generation, design-for-test, on-line test, test infrastructure, failure analysis, fault diagnosis, fault tolerance, and functional safety and reliability.
List of Members
  • Ioana Vatajelu
  • Katell Morin-Allory
  • Matteo Sonza Reorda
  • Said Hamdioui
  • Salvador Mir