Computers bevinden zich overal om ons heen en zijn niet meer weg te denken uit ons bestaan. Veel van deze computersystemen zijn duidelijk zichtbaar, zoals laptops en desktopcomputers. Maar nog veel meer zijn minder zichtbaar of zelfs compleet onzichtbaar: de zogenoemde embedded computersystemen. Voorbeelden hiervan zijn het computersysteem in je mobiele telefoon, in autotextquoterights, treinen, vliegtuigen en smart home-apparaten in je huis. Dergelijke embedded computersystemen hebben te maken met veel en conflicterende ontwerp-eisen: ze moeten snel zijn en soms zelfs garanties bieden over de snelheid waarmee ze reageren; ze moeten energiezuinig zijn (veel embedded systemen gebruiken een batterij); ze moeten betrouwbaar zijn (denk aan zelfrijdende autotextquoterights), etc. In zijn oratie gaat Pimentel in op het belang van modellerings-, simulatie-, en optimalisatietechnieken om ontwerpers van embedded computersystemen in staat te stellen om goede ontwerpkeuzes te maken die leiden tot een goed compromis tussen onder meer snelheid, energie-efficiëntie en betrouwbaarheid.