Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions

Résumé

The high integration of (sub-)systems performing safety critical automotive functions characterizes the current development in the automotive industry. The development and analysis is challenged by an increasing complexity resulting from product customization and variance in implementations by software-hardware solutions. In order to save costs for such scenarios, a systematic analysis of the dependencies between functions, as well as the functional and technical variance, is required. In this paper we introduce a new approach which allows to compactly represent and analyze a function with its different configurations, states, hardware modules, and software variants—also: Product Line Fault Tree (PLFT)—in a unified data structure based on Multi-valued Decision Diagrams (MDDs). The methodology allows to represent the function´s architecture within an MDD and transfer it in Fault Tree (FT)-and Minimal Cut Sets (MCSs)-MDDs. Therefore, complete fault trees are analyzed in one step—opposed to stepwise analyzing FTs of all configurations, software variants, and states. Summing up, this article introduces a systematic approach allowing to analyze fault propagation in variant-rich and stateful functions.
Fichier principal
Vignette du fichier
CARS2016_paper_9.pdf (741.74 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01375475 , version 1 (03-10-2016)

Identifiants

  • HAL Id : hal-01375475 , version 1

Citer

Michael Kässmeyer, Rüdiger Berndt, Peter Bazan, Reinhard German. Toward an MDD-based Analysis of Stateful and Variant-rich Automotive Functions. Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden. ⟨hal-01375475⟩

Collections

CARS2016
226 Consultations
162 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More