Source Code Verification

DWS ambieert ontwikkeling en exploitatie van een nieuw Source Code Verification softwareplatform om source-code volautomatisch te analyseren en daarmee verificatie uit te voeren. De vernieuwing op informatietechnologisch gebied ligt hierbij met name in de ontwikkeling van een geautomatiseerd systeem op basis van NLP en A.I. technologie, om source-code on-the-fly en continu te analyseren en daarmee verificatie te bewerkstelligen. Hiermee moet het mogelijk worden om bij iedere source code deposit, on-the-fly een verificatie uit te voeren en een rapport te genereren, zodat altijd zeker is dat de source code die wordt gedeponeerd voldoet aan de vereiste standaard. Het kunnen valideren en verifiëren van source code is technologie die op zeer veel manieren kan worden ingezet, waarbij een eerste focus zal liggen op security toepassingen, zoals source code escrow diensten. DWS richt zich hiermee op de gehele markt van partijen die software ontwikkelen en/of gebruiken. Het MIT-haalbaarheidsproject is erop gericht om met name de technische haalbaarheid (snelheid en schaalbaarheid versus kwaliteit) en economische haalbaarheid (doelgroep, markt, kosten, etc.) in kaart te brengen. Het project vindt aansluiting op het thema Value Creation binnen de topsector Creatieve industrie, waarbij het onderzoek zich richt op Businessmodellen (waarde creatie, toe-eigening, kwaliteit). Daarnaast sluit het project aan op de innovatiethema’s “data, data, data” en “waarde- en informatieketens” binnen het cluster ICT van HTSM.