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.In the industry various testing methods are used to achieve high quality in software controlled systems. The demands on quality are especially high for safety critical systems, for instance control systems in vehicles. In this thesis two analysis methods (Fault Mode and Effects Analysis and Fault Tree Analysis) are used to develop a new safety test for a brake and gearbox control system made by Scania. It is also analyzed how formal development methods can be used to further increase quality and reliability. Model checking using NuSMV and Computational Tree Logic (CTL) is applied to a part of the studied systems and it is formally verified that the implementation fulfills the specification