TimeSafe

Syfte och mål

Målet med projektet är att undersöka samspelet mellan tidsrelaterad och säkerhetsrelaterad utvecklingsinformation och utvecklingsprocesser och hur man effektivt kan tillämpa de två standarderna TADL och ISO26262 samtidigt. Detta är uppfyllt och resultatet presenteras i en kombinerad metodik för tids- och säkerhetsfrågor, samt i språkguider. Validatorn illustrerar vidare samspelet på ett exempel på en elektriskt styrd broms.

Resultat och förväntade effekter

Projektet har resulterat i tre artefakter: 1) en kombinerad metodik för tids- och säkerhetsfrågor som ger råd om hur man ska hantera tid i samband med säkerhet, 2) ett antal modelleringsmönster som beskriver hur man kan uttrycka tidsegenskaper som definierats i ISO26262, samt 3) en validator som applicerar 1 och 2 på ett exempelsystem. Med hjälp av allt detta förväntas vi få god hjälp i införandet av ISO26262-standarden och att standardens krav lättare kan uppfyllas av fordons realtidssystem.

Upplägg och genomförande

Eftersom området är relativt outforskat var det naturligt med en något diffus målbild. Detta kompletterades inom projektet med ett antal konkreta användarfall härledda från projektets analys av tidsegenskaper i ISO 26262. Den här strategin har visat sig lyckad för projekt i så här tidiga teknikutvecklingsskeden. På så vis får man en känsla för både en bredd för problemförståelsen, och djup för detaljförståelsen. För eventuella uppföljningsprojekt kan det dock vara lämpligt med en mer detaljerad projektformulering.