CISD
Research
The CISD groups and the topics they work on.
ESD
Electronic Systems Design
Design automation for electronic and cyber-physical systems: languages, models and tools for modelling, verification, testing and optimisation, from circuit level to smart manufacturing.
- 01
Electronic Design Automation
Languages, methodologies and tools to describe, abstract and test electronic systems, from transistor-level netlists to system-level models.
- Hardware description language manipulation and code conversion
- Mixed-signal netlist parsing and transformation
- Analog and multi-domain fault modelling and injection
- Test generation and coverage analysis
- 02
Embedded and Cyber-Physical Systems
Design of embedded and cyber-physical systems in which computation, communication and physical processes are tightly coupled.
- Embedded system design and abstraction
- Networked and industrial IoT systems
- Functional safety of smart systems
- 03
Modelling, Simulation and Verification
Formal, semi-formal and simulation-based techniques that establish whether a system behaves as specified.
- Assume-guarantee contracts for requirement engineering
- Multi-domain simulation of heterogeneous models
- Synthesis and verification of control software
- 04
Digital Twins and Smart Manufacturing
Digital representations of production plants used to analyse timing, predict behaviour and optimise the line.
- Digital twins of cyber-physical production systems
- Scheduling and optimisation of production activities
- Predictive maintenance
PARCO
PARCO Lab
Parallel and heterogeneous computing: design and optimisation of software for multi-core CPUs and many-core GPUs, from resource-constrained edge devices to high-performance computing platforms.
- 01
Parallel and Heterogeneous Computing
Development and optimisation of software targeting multi-core CPUs and many-core GPUs, both for resource-constrained platforms such as edge devices and for high-performance computing.
- Edge computing
- High-performance computing
- Parallel programming languages and libraries
IoT4Care
Internet of Things 4 Care
Internet of Things for care: systems that support well-being, health monitoring and rehabilitation through wearable devices, smart objects and ambient sensing.
- 01
IoT for Health and Wellbeing
Design and validation of systems that promote the well-being and health of people through Internet of Things technologies: environmental sensors and actuators, wearable devices and smart objects.
- Human activity recognition
- Ambient assisted living and virtual coaching
- Monitoring and remote rehabilitation