ECSEL 2019 RIA VALUE3S

Viktiga resultat som projektet gav

Projektmål: Utveckla ett ramverk för verifiering och validering (V&V). Övervinna begränsningarna för säkerhet, cybersäkerhet och privacy (SCP) för cyberfysiska system. Presentera ett generiskt V&V-arbetsflöde. Demonstrera användbarheten av det föreslagna ramverket genom realistiska piloter. Föreslå och validera utvärderingsscenarier för SCP-utvärdering. Utveckla och förbättra V&V-verktyg och utvärderingskriterier. Identifiera svagheterna i relevanta säkerhets- och cybersäkerhetsstandarder. Sprid projektresultaten i syfte att visa vikten av att bedriva V&V.

Långsiktiga effekter som förväntas

Projektresultat: - Leverans av 80 leverabler. - Detaljering av alla 13 use case. - Skapande av ett ramverk för V&V av automatiserade system samt implementering och fyllning av ett webbaserat arkiv för att lagra elementen i ramverket. - Design av ett dedikerat beskrivningsspråk för V&V-arbetsflöden (VVML). - Design, implementering och förbättring av 44 V&V-verktyg och 48 V&V-metoder. - Kvalitativ och kvantitativ utvärdering och demonstration av 21 demonstranter i ett offentligt evenemang. - Publicering av över 90 vetenskapliga artiklar (tidskrift, konferens, workshop).

Upplägg och genomförande

I VALU3S samarbetade 41 projektpartners från 10 europeiska länder under koordinering av RISE. Samarbetet resulterade i design, implementering och utvärdering av state-of-the-art metoder och verktyg som minskar den tid och kostnad som krävs för att V&V automatiserade system med avseende på säkerhets- och cybersäkerhetskrav. Svenska partners bidrog bland annat till sex av de 13 projekt use case genom felinjicering, simulering, utformning av safety-element-out-of-context, V&V av maskininlärningsbaserade system, hotmodellering och penetrationstestning.

Externa länkar

Projektets hemsida.