Automatiserad och model-baserad verifiering och validering av funktionell säkerhet, del 2

Viktiga resultat som projektet gav

Utveckla metoder för att effektivt kunna utveckla, integrera och analysera nya säkerhetssystem genom förbättrade felmodeller på systemnivå, systematisk säkerhetsanalys baserad på arkitekturmodeller och genom att möjliggöra tidiga samt kontinuerliga påverkans-/avvägningsanalyser. Utveckla en säkerhetsprocess som är tätt integrerad med den funktionella utvecklingsprocessen baserat på en enhetlig annoterad arkitekturmodell. Stärka kompetens och kunskap, genom ett industridoktorand projekt.

Långsiktiga effekter som förväntas

Det förväntade resultatet är både av akademisk och industriell karaktär och kommer att förbättra kvalitén och effektiviteten när komplexa, distribuerade och säkerhetskritiska system skall utvecklas, verifieras och valideras. Systemingenjörer kommer att utnyttja resultatet i sin utvecklingsprocess för att bättre hantera krävande utvecklingsuppdrag. Projektet drivs som ett doktorandprojekt vilket innebär att resultatet kontinuerligt kommer att presenteras via publikationer och konferenser.

Upplägg och genomförande

Projektet är uppdelat i deluppgifter med tydliga projektmål. En styrgrupp är utsedd för att kontrollera/styra framskridandet av projektet. Metoder och processer kommer att utvärderas, genom applicering på ett distribuerat säkerhetskritiskt system (hybrid control). Resultaten, erhållen effektivitet och kvalitet kommer kontinuerligt att utvärderas och jämföras med dagens dokumentdrivna utveckling.