Fabrikanten van hightechapparatuur worden door klantspecifieke eisen en veranderende operationele omgevingen, geconfronteerd met een snel toenemende productvariatie. Het waarborgen van softwarekwaliteit in dergelijke complexe systemen is een uitdaging, omdat het niet mogelijk is om volledig te testen.
Modelgebaseerde testautomatisering voor de hightechindustrie
Matala 2025 pakt dit aan door methodologieën te ontwikkelen voor het modelleren en vastleggen van variaties in processen, data en configuraties, en door modelgebaseerd te testen.. Het project maakt gebruik van slimme algoritmen en formele specificatietalen (zoals BPMN4S) om tests te automatiseren, de testdekking te verbeteren en de handmatige inspanning te verminderen. De aanpak wordt gevalideerd in Virtual Lab; de digitale simulatie omgeving van ASML, . De methodologie is met name ontworpen voor bredere toepasbaarheid in de hightechindustrie. Matala 2025 brengt de industrie, de academische wereld en TNO samen om gezamenlijk resultaten te definiëren, te implementeren en te delen, waarbij zowel wetenschappelijke nauwkeurigheid als industriële relevantie worden gewaarborgd.
Meerwaarde geatomatiseerd en modelgestuurd testen
Door Matala 2025 wordt geautomatiseerd en modelgestuurd testen mogelijk gemaakt voor zeer configureerbare systemen. Unieke elementen zijn onder meer:
Formele modellering van systeemvariabiliteit en interoperabiliteitsvereisten.
Geautomatiseerde, risico gebaseerde testgeneratie en dekkingsanalyse.
Samenwerkingskaders voor specificaties die domeinexperts en ingenieurs met elkaar verbinden.
Validatie van methodologieën in reële industriële toepassingen (ASML Virtual Fab).
Door de testefficiëntie en -effectiviteit te verbeteren, ondersteunt Matala 2025 snellere innovatiecycli, een hogere productkwaliteit en lagere kosten. De resultaten dragen bij aan nationale en Europese onderzoeksagenda's op het gebied van systeemtechniek en digitalisering, en leggen de basis voor toekomstig onderzoek naar AI-ondersteunde modellering en online MBT.
Modelgebaseerde testmethoden voor efficiëntere innovatiecycli
De belangrijkste resultaten van Matala 2025 zijn:
Een gevalideerde methodologie voor modelgebaseerde interoperabiliteitstesten van systemen van systemen, die variaties in controlestromen, data en configuraties omvat.
Proof-of-concept demonstraties en tools, met succesvolle toepassing op ASML's Virtual Fab use cases.
Kwantitatieve waarderapporten die verbeteringen in efficiëntie en effectiviteit documenteren.
Presentaties op het TNO-ESI Symposium en branche-evenementen.
Verbeterde samenwerking tussen industrie en onderzoek, met gezamenlijke voortgangsbesprekingen en verspreiding van algemene resultaten.
Het project heeft nieuwe inzichten opgeleverd in de uitdagingen van het testen van complexe, evoluerende systemen en heeft best practices vastgesteld voor de integratie van MBT in industriële workflows. Lopende werkzaamheden omvatten het uitbreiden van de methodologie ter ondersteuning van online MBT en AI-ondersteunde modellering.
Meer informatie
Matala 2025 is een project van het consortium TNO-ESI en ASML.
Overig leesmateriaal:
