AVerT2: Automatiserad verifiering och testning
| Diarienummer | |
| Koordinator | Kungliga Tekniska Högskolan - Kungliga Tekniska Högskolan Skolan f elektroteknik & datavetens |
| Bidrag från Vinnova | 5 970 600 kronor |
| Projektets löptid | november 2021 - november 2024 |
| Status | Pågående |
| Utlysning | Elektronik, mjukvara och kommunikation - FFI |
| Ansökningsomgång | Elektronik, mjukvara och kommunikation - FFI - juni 2021 |
Syfte och mål
Syftet med projektet är att öka användandet av formella metoder för specifikation och verifiering av mjukvarukomponenter i fordonsindustrin, genom att till stor del automatisera processen. Genom applicerandet av formella metoder ökar förtroendet för den funktionella korrektheten i sådana system, och följaktligen ökar även fordons- och trafiksäkerheten. Målet med projektet är att utveckla en verktygskedja för att skriva systemspecifikationer, automatiskt bryta ned specifikationer, automatiskt verifiera mjukvarumodeller och kod, samt utföra tekniköverföring.
Förväntade effekter och resultat
Projektet planerar att leverera ett ramverk och verktygskedja för formell specifikation och automatiserad verifiering av mjukvarukomponenter i inbyggda system, samt fallstudier. Genom dessa verktyg och fallstudier underlättar vi adopterandet av formella metoder i industrin. De avsedda användarna av dessa resultat är programvarudesigners och ingenjörer på företag som utvecklar inbyggd fordonsprogramvara.
Planerat upplägg och genomförande
Arbetet är uppdelat i fyra huvudsakliga arbetspaket. Ett paket fokuserar på krav och kravnedbrytning, två paket på automatisk verifiering, och det sista på praktisk evaluering och tekniköverföring. Projektet koordineras av KTH, och samarbete mellan Scania och KTH kommer ske inom alla arbetspaket.