SVAR - Systematic verification automation of requirements
Sverige behöver bättre infrastruktur för att accelerera den gröna omställningen och bygga resurseffektiva lösningar till relevanta samhällsproblem. En av utmaningarna är långa realiseringstider som både ökar kostnaderna för projekten och bromsar den lokala utvecklingen i samhället. Digitalisering erbjuder betydande processoptimeringar genom att effektivisera kravställning, lösningsdesign och verifieringsprocesser.
Vårt projekt fokuserar på att hjälpa leverantörer verifiera leveranser mot kundkrav som kommer från Trafikverket. Detta minskar projektkostnaderna genom att upptäcka problem under design snarare än efter konstruktion. Vi utvecklar en maskininlärningsmodell för att klassificera krav , och identifiera vilka som är verifierbara. Våra resultat bidrar till bättre slutprodukt till lägre kostnader och förbättrat personalutnyttjande hos leverantörerna.