AcSäPt - Acceptanstest av säkerhetskritisk plattformsprogramvara

Viktiga resultat som projektet gav

Projektet har resulterat i en metodik för acceptanstest av säkerhetskritisk plattformsprogramvara, vilket varit det övergripande projektmålet. Projektmålen har uppfyllts väl och även frågeställningar utanför ursprungligt projektmål har lösts. Projektets aktiviteter och resultat har väckt intresse internationellt genom presentationer på internationella konferenser. Projektdeltagarna står efter projektets avslutande väl rustade att implementera dessa metodikförslag i produktionsprojekt.

Långsiktiga effekter som förväntas

Projektet har inom sitt teknikområde bidragit till det övergripande projektmålet att höja den tekniska mognadsgraden samt effektivisera metoder inom produktutveckling för att snabbare kunna industrialisera resultaten och öka kundvärdet. Det har även bidragit till att säkerställa att den svenska fordonsindustrin bidrar och får tillgång till metoder, verktyg och kompetens i världsklass för att möjliggöra snabb och effektiv utveckling. Projektdeltagarna står efter projektets avslutande väl rustade att implementera dessa metodikförslag i produktionsprojekt.

Upplägg och genomförande

Metodiken grundar sig på konfigurerbara formella modeller av AUTOSAR BSW-komponenter. Dessa modeller kan användas för att ta reda på vilka specifikationskrav som är säkerhetskritiska för ett specifikt användningsfall. De kan också användas för att generera testfall för black-box testning av BSW från en leverantör. Implementationen kan testas tills man uppnår 100% täckning med avseende på säkerhetsrelaterade funktioner och scenarier. Täckningsmåttet utgår från tillståndsrymden hos specifikationsmodellen. Metodikens tillämpbarhet i realiteten visas med ett exempel.