Verifiering och validering av automatiserade systems säkerhet

Syfte och mål

Projektet syftar till att utforma ett ramverk anpassat för olika tillämpningsområden för att skapa en tydlig struktur kring de komponenter och element som behövs för att genomföra verifierings- och valideringsprocessen. Detta inkluderar design, implementering och utvärdering av metoder och verktyg för att minska den tid och kostnad som krävs för att verifiera och validera automatiserade system med avseende på säkerhet, cybersäkerhet och sekretesskrav.

Utmaning

Fel och svagheter i högt automatiserade system kan bli katastrofala. Ökande komplexitet och konnektivitet kan leda till att okända egenskaper hos systemet kommer till ytan. Det gör det nödvändigt med en noggrann verifiering och validering (V&V) av systemen. Den höga komplexiteten hos automatiserade system gör V&V-processen tidskrävande och kostsam.

Lösning

Det ramverk som utvecklas inom projektet förväntas minska tid och kostnader som krävs för att verifiera och validera automatiserade system. Detta görs genom identifiering och klassificering av utvärderingsmetoder, verktyg, miljöer och koncept för V&V av automatiserade system.
VALU3S samlar ett konsortium med partners från tio olika länder. I konsortiet ingår 25 industriparter, 6 ledande forskningsinstitut och 10 universitet. 13 fallstudier genomförs där specifika krav på säkerhet och integritet kommer att studeras i detalj.

Effekt

Metoderna som utvecklas i projektet kommer att användas för att utforma förbättrade processarbetsflöden för V&V av automatiserade system. Flera verktyg kommer att implementeras för att stödja förbättrade processer. Dessa utvärderas genom kvalificering och kvantifiering av säkerhet, cybersäkerhet, personlig integritet samt andra utvärderingskriterier utifrån demonstratorer som tas fram i projektet.

VALU3S kommer också att påverka utvecklingen av säkerhets- och integritetsstandarder genom att aktivt delta i relaterade standardiseringsgrupper och tillhandahålla riktlinjer för ingenjörer och forskare som arbetar med testning. Detta ger utrymme för förbättringar med tanke på kostnader, tidsåtgång och arbetsinsater för att utföra testerna. Därmed säkerställs att europeiska tillverkare av automatiserade system förblir konkurrenskraftiga och behåller sin världsledande ställning.