Optimering av testning av säkerhetskritiska funktioner
Inom industrin används olika testmetoder för att uppnå hög kvalitet i mjukvarukontrollerade system. Kvalitetskraven är särskilt höga för säkerhetskritiska system t.ex. styr- och reglersystem i fordon. I det här examensarbetet används två analysmetoder (Fault Mode and Effects Analysis och Fault Tree Analysis) för att ta fram ett nytt säkerhetstest för ett broms- och växlingssystem som Scania tillverkar. Det studeras även hur formella metoder kan användas för att ytterligare öka kvalitet ochh tillförlitlighet. Modellkontroll med NuSMV och Computational Tree Logic (CTL) appliceras på viss funktionalitet av de studerade systemen och en formell verifiering av att funktionaliteten uppfyller specifikationen utförs.