Abstrakt. Industrin använder för närvarande en produktlinje för att utveckla och distribuera programvara som ett sätt att höja kvaliteten och samtidigt minska utvecklingskostnader och tid. Detta arbete har skapat ett klimat där säkerhetskritiska programvaruprodukter utvecklas utan hela sortimentet av tillhörande säkerhetsanalysverktyg tillgängliga för programvaruingenjörer. Software Fault Tree Analysis (SFTA) är en teknik som har använts framgångsrikt för att undersöka bidragande orsaker till potentiella risker i säkerhetskritiska tillämpningar. Detta dokument utvidgar vidare anpassningen av SFTA till produktlinjer av system genom att beskriva ett verktyg för säkerhetsanalys av programvara som kallas PLFaultCAT. PLFaultCAT är ett interaktivt, delvis automatiserat stödverktyg för att hjälpa mjukvaruingenjörer att tillämpa produktlinjeprogramvara SFTA. I dokumentet beskrivs integreringen av produktlinje SFTA och PLFaultCAT med programvaruutvecklingslivscykel. Beskrivningen omfattar den inledande konstruktionen av produktlinjen SFTA samt automatisk härledning av felträd för produktlinjemedlemmar. Tekniken och verktyget illustreras med en liten fallstudie i hela tidningen.
Några andra verktyg, som analyserar säkerhetsaspekterna av programvarusystemet är PLFaultCAT REF, som har använts för att minska den ansträngning som krävs för att på ett säkert sätt återanvända programvarukraven och anpassa produkt-linjen för fel trädanalys (SFTA) under produkt-line konstruktion.
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
{'venue': 'Automated Software Engineering', 'journal': 'Automated Software Engineering', 'mag_field_of_study': ['Computer Science']}