Correctly communicating software: distributed, asynchronous, and beyond
| Promotie: | B. (Bas) van den Heuvel, MSc |
| Wanneer: | 02 april 2024 |
| Aanvang: | 12:45 |
| Promotors: | J.A. (Jorge) Perez Parra, Prof, prof. dr. G.R. (Gerard) Renardel de Lavalette |
| Waar: | Academiegebouw RUG |
| Faculteit: | Science and Engineering |
Correct communicerende software
In elk aspect van ons dagelijks leven leunen we op software, dus is het cruciaal dat deze software betrouwbaar is. Het merendeel van software bestaat uit kleinere stukken die samenwerken door te communiceren. Betrouwbare communicatie is daarom onmisbaar voor het correct functioneren van software. Idealiter wordt de correcte werking van software gegarandeerd door diens constructie; echter, in de praktijk wordt software (onvolledig) getest op mogelijke problemen of worden problemen zelfs pas ontdekt tijdens gebruik van de software.
In zijn promotieonderzoek ontwikkelde Bas van den Heuvel technieken die verzekeren dat software correct communiceert vanuit constructie. Het hoofdbestandsdeel hierin is communicatieprotocollen die precies beschrijven wat er wordt verwacht van de communicatie van stukken software. Deze protocollen worden vervolgens gebruikt als leidraad in de ontwikkeling van software die correct communiceert.
De aanpak is wiskundig en zwaar geïnspireerd door logisch redeneren. Logica bevat precieze technieken voor het redeneren over communicatiemiddelen van software, die het garanderen van correctheid vereenvoudigen. Deze eenvoud komt echter met tekortkomingen: de technieken zijn gelimiteerd in de ondersteunde communicatiepatronen. Een voorbeeld is de beperking dat wanneer meer dan twee stukken software moeten communiceren, zij dit alleen kunnen doen via een enkel verbindingspunt. In de praktijk kunnen stukken software direct met elkaar communiceren, zonder zulke beperkingen.
Derhalve beoogde Van den Heuvel met zijn onderzoek de grenzen van logisch redeneren voor communicerende software te verleggen. Het doel is dichter bij betrouwbare communicatie vanuit constructie voor realistische software komen. Hiertoe ontwikkelde en verbeterde hij nieuwe en bestaande technieken gebaseerd op logica, terwijl correctheidsgaranties worden behouden.
Bas van den Heuvel voerde zijn onderzoek uit bij het Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, afdeling Fundamentele Informatica, met financiering van NWO. Hij vervolgt zijn loopbaan als postdoc bij HKA Karlsruhe, Duitsland.