Vi formar en pålitlig digital framtid: Insikter från VERDI-workshoppen

Har du någonsin upplevt en situation där ett digitalt fel har påverkat din dag? I till exempel fordon och medicinsk utrustning är säker teknik avgörande.

Vi lever i en värld där den digitala transformationen påverkar alla delar av samhället. Därför är det avgörande att de underliggande teknologierna, särskilt cyberfysiska system (CPS), inte bara är avancerade utan också pålitliga och säkra.

CPS är datorbaserade system som integrerar med maskiner, fordon och sensorer. De inhämtar data från omgivningen i syfte att automatisera uppgifter och öka effektiviteten. Exempel på CPS är autonoma fordonssystem, smarta nätverksteknologier och robotkirurgiska system. Samtliga dessa system interagerar nära mänskliga aktiviteter och kräver högsta standard av pålitlighet.

Fel i systemen kan leda till risker för människoliv

Fel eller säkerhetsintrång kan leda till betydande störningar i viktiga tjänster, ekonomiska skador eller till och med risker för människoliv. Exempelvis kan fel i ett smart nätverk leda till omfattande strömavbrott och säkerhetsbrister i autonoma fordon kan äventyra passagerarsäkerheten.

För att minska risken för denna typ av fel och störningar krävs omfattande analyser. Detta görs med hjälp av robusta så kallade verifierings- och valideringsmetoder. De företag som tillverkar CPS lägger ner mycket tid och ansträngning på forskning och utveckling enligt dessa metoder. Detta innebär givetvis också stora kostnader för företagen.

RISE forskning bidrar till att minska tid och kostnader i analysprocesserna

Forskning pågår för att minska tid, ansträngning och kostnader i verifierings- och valideringsarbetet (V&V). RISE bidrog i denna forskning genom projektet VALU3S med Behrooz Sangchoolie som projektledare. I projektet utvärderades de senaste V&V-metoderna och verktygen med målet att skapa en struktur för att göra V&V-processen tydligare. I VALU3S samarbetade forskare från tio olika länder samt industriella partners.

På VERDI tar experter upp ämnen från robusta neurala nätverk till cybersäkerhet för autonoma maskiner. Detta är ännu en framgångsrik upplaga som kommer att fortsätta varje år.

Behrooz Sangchoolie

VERDI, som arrangeras under den årliga IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), en ledande konferens inom området tillförlitlighet, riktar in sig på den kritiska skärningspunkten mellan digitala och fysiska områden. I juni 2023 hölls första workshopen inom ramen för VALU3S. VERDI initierades av Behrooz Sangchoolie på RISE och forskare från Polytechnic Institute of Porto och University of Porto i Portugal. Syftet är att VERDI ska vara en plattform för forskning och peer-diskussioner om säkerhet och säkerhet för automatiserade system. 2024 års workshop hölls i Brisbane i Australien inom ramen för EU-projektet AGRARSENSE.

Förutom presentationer av vetenskapliga artiklar innehöll VERDI även huvudtal från ledande experter som professor Karthik Pattabiraman från University of British Columbia i Kanada, professor José Bacelar Almeida från University of Minho i Portugal och professor Juan Carlos Ruiz från Technical University of Valencia i Spanien.

I takt med den ökande digitaliseringen blir workshoppar som VERDI dessutom allt viktigare. Genom initiativ som dessa bidrar RISE till Sveriges vision att ligga i framkant när det gäller digitalisering för en hållbar och säker framtid.