Incorporating Functional Safety in Model-based Development of Product Lines

• Product lines in industry are often based on an engineer’s focus on fast and feasible product instantiation rather than a precise product line development method and process as described in literature. When considering functional safety, we need a precise model that includes evidence for the safety of each variant of the product.Functional safety standards provide guidance to develop safety critical products and require that evidence is collected to prove the safety of the product. But today’s functional safety standards do not provide guidance on how to achieve functional safety in product lines. At the same time arguments need to be collected during development so that each product configuration is safe and is fulfilling the requirements of the standards. Providing these arguments requires tracing safety-related requirements and dependencies through the development process taking the impact of variability in different development artifacts into consideration.In this thesis, we study the challenges of developing safety critical products in product lines. We explore industrial practices to achieve functional safety standard compliance in product lines by interviewing practitioners from different companies and by collecting the reported challenges and practices. This information helps us to identify improvement areas and we derive requirements that a product line engineering method needs to fulfill. Based on these findings we analyze variability management methods from the software product line engineering research domain to identify potential candidate solutions that can be adapted to support safety critical products. We provide an approach for capturing functional safety related characteristics in a model-based product line engineering method. We apply our method in an industrial case demonstrating the applicability.

• Produktlinjer inom industrin är oftast baserade på ingenjörernas vilja att snabbt och enkelt utveckla nya varianter, snarare än på någon precis utvecklingsmodell för produktlinjer beskriven i litteraturen. För att visa på funktionssäkerhet krävs en precis modell som innehåller argumenten för att påvisa säkerheten hos alla varianter av produkten. Funktionssäkerhetsstandarder ger en vägledning för att utveckla säkerhetskritiska produkter och kräver att belägg samlas för att bevisa produktens säkerhet. Men dagens funktionssäkerhetsstandarder beskriver inte hur man uppnå funktionssäkerhet i produkt linjer. Argument behöver samlas under utveckling som bevisar att varje produktkonfiguration är säker och uppfyller kraven i standarden. Detta kräver i sin tur att spåra beroenden till säkerhetsrelaterade krav genom utvecklingsprocessen och visa hur de påverkas av variabilitet. I denna avhandling studerar vi utmaningarna med att utveckla säkerhetskritiska produkter i produktlinjer. Vi undersöker industrins metoder för att uppnå funktionssäkerhet genom att intervjua experter från olika företag och sammanställa utmaningar och praxis. Denna information hjälper oss att identifiera förbättringsområden och vi beskriver de krav som en tilltänkt produktlinjeteknik måste uppfylla. Baserat på dessa resultat vi analyserar varianthanteringsmetoder som beskrivs inom området produktlinjemetoder (eng: product line engineering), för att identifiera potentiella kandidatlösningar vilka kunde anpassas för att stödja säkerhetskritiska produkter. Vi presenterar en metod för att hantera funktionssäkerhetsrelaterade egenskaper i en modellbaserad metod för att hantera produktlinjer. Vi tillämpar vår metod i ett industriellt fall för att demonstrera tillämpligheten.

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)

Nyckelord

Computer Science

datavetenskap

Publikations- och innehållstyp

vet (ämneskategori)

lic (ämneskategori)