VeriSpec - Strukturerad specifikation och automatisk verifiering för funktionssäkra fordon

Diarienummer 2013-01299
Koordinator Mälardalens högskola - Akademin för innovation, design och teknik, Västerås
Bidrag från Vinnova 11 200 000 kronor
Projektets löptid juni 2013 - augusti 2018
Status Pågående
Utlysning Elektronik, mjukvara och kommunikation - FFI
Ansökningsomgång 2012-04640-en

Syfte och mål

Effektivisera metoder och verktyg för verifiering och specificering inom produktutvecklingens tidiga skeden särskilt map funktionssäkerhet för ingående mjukvara och anpassning till ISO26262.

Förväntade effekter och resultat

Projektet avser utveckla nya- och anpassa existerande metoder för formell modellering och verifiering, inklusive relaterat verktygsstöd, för analys av krav och arkitekturmodeller. Utvecklade metoder och verktyg kommer integreras i existerande industriella utvecklingsprocesser enligt ISO26262. Projektet kommer att utveckla ett språk för formalisering av krav och kopplingar till systemarkitekturen, metoder för automatisk verifiering av arkitekturmodeller mot formulerade krav och en prototyputvecklingsmiljö kompatibel med industriella arbetssätt och processer.

Planerat upplägg och genomförande

WP1 Detaljering av industriella krav och definition av användningsfall och prioriterade aktiviteter. WP2 Specifikation och analys av funktionssäkerhetskrav. WP3 Verifiering av arkitekturmodeller. WP4 Projektledning

Texten på denna sida har projektgruppen själv formulerat och innehållet är ej granskat av våra redaktörer.