Security Engineering and Verification and Validation for Embodied AI

Programvaruintensiva produkter och tjänster (SIPS) är kärnan i allt från ubåtar och självkörande fordon till stora informationssystem och distribuerade lösningar inom planering, logistik, tillverkning och underhåll.

Mjukvara har gått från att vara en tilläggskomponent till att bli själva drivkraften, särskilt inom försvar och sjöfart där uppdragskritiska system är beroende av robusta mjukvarulösningar.

Projektet adresserar de tekniska möjligheter och utmaningar kopplade till utvecklingen av SIPS, med fokus på hotmodellering, säkerhet, och verifiering/validering av AI/ML-komponenter i realtid för att säkerställa prestanda och säkerhet.

Förväntade resultat omfattar utveckling av verktyg, metoder, modeller och ramverk för att möjliggöra dessa mål och stödja hela den tekniska livscykeln för SIPS.