In dit digitale tijdperk maken we steeds meer gebruik van complexe systemen, zoals MRI-scanners, brugbesturingssystemen en machines die computerchips maken. Al deze systemen draaien op besturingssoftware die zorgt voor een veilige en correcte werking. Technologische vooruitgang maakt deze systemen steeds complexer en vereist hogere prestaties, wat de behoefte aan geavanceerdere en duurdere toezichthoudende controllers vergroot. Tegelijkertijd is er een tekort aan gekwalificeerde ingenieurs om deze software te ontwikkelen.
Synthesis-Based Engineering (SBE)
In dit onderzoeksproject, een samenwerkingsproject met ASML, gaan we aan de slag om het ontwikkelproces van deze complexe besturingssoftware efficiënter en toegankelijker te maken. We maken hierbij gebruik van een innovatieve methode genaamd Synthesis-Based Engineering (SBE).
Traditioneel bedenken software-ingenieurs voor elke mogelijke situatie hoe het systeem moet reageren, waarna ze de besturingssoftware handmatig programmeren. Bij SBE daarentegen, beschrijven ingenieurs hoe het systeem werkt en wat de veiligheidseisen zijn, zoals dat een brug niet mag openen als er auto's op staan en dat robots niet mogen botsen. De computer creëert vervolgens automatisch gegarandeerd correcte modellen van de besturingssoftware, waarbij rekening wordt gehouden met de vele biljoenen mogelijke situaties waarin het systeem zich kan bevinden, om ervoor te zorgen dat het systeem altijd veilig is. Op basis van deze modellen maakt de computer ook direct de software-implementatie. Dit bespaart ingenieurs veel tijd en verkleint de kans op fouten.
SBE verschilt van traditionele ontwikkelmethoden, en veel ingenieurs zijn er nog niet bekend mee. Dit belemmert de adoptie van SBE. Daarom streven we er in dit project naar om het SBE-proces zo uitlegbaar en traceerbaar mogelijk te maken, zodat ingenieurs deze innovatieve methode kunnen vertrouwen en eenvoudiger kunnen gebruiken. Dit bespaart niet alleen tijd en vermindert fouten voor ingenieurs, maar stelt bedrijven ook in staat om betere besturingssoftware te ontwikkelen tegen lagere kosten.
