Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain

Abstract

Safety analyses in the automotive domain (in particular automated driving) present unprecedented challenges due to its complexity and tight integration with the physical environment. Given the diversity in the types of cars, potentially unlimited number of possible environmental and driving conditions, it is crucial to devise a systematic way of managing variability in hazards, driving and environmental conditions in individual cars, families of cars, and families of families of cars to facilitate analyses efficiently. To this end, we present our ongoing work in a research project that focuses on devising a model-based reasoning framework for systematically managing hazards in the automotive domain and supporting safety analyses (e.g., falsification). CCS CONCEPTS • Computing methodologies → Model verification and validation; • Software and its engineering → Software product lines;

Empirical analysis of the tool support for software product lines

“…These constraints are also introduced by commercial offers and stakeholder requirements, which give rise to the need of MultiPLs to distinguish two types of products (prototypes and commercial vehicles), which are different in terms of novelty, purpose, and the amount of reused assets. Moreover, case studies in this domain expose the needs of working at the architectural level and modeling non-functional properties such as the car efficiency or the safety traffic [59,60]. The complete set of requirements of the case studies in this domain are detailed in Table 3 and summarized in the first column of Table 2.…”