Logo des Repositoriums
 
Textdokument

Adapting Binary Decision Diagrams for Visualizing Product Configuration Data

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Zusatzinformation

Datum

2017

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik, Bonn

Zusammenfassung

This paper deals with the challenges of visualizing and understanding complex interacting Boolean formulæ for selecting parts in an automotive Bill-of-Materials (BoM). Our approach targets entire BoM positions containing all variants of a part, each with its own selection formula. A part variant is needed for a car if the selection formula evaluates to true under the option list (feature list) which defines the car variant. Understanding the formulæ is critical when editing or when trying to analyze and explain a bug, but it is non-trivial. SAT-solving is commonly used to detect bugs, but explaining the cause of bugs is a different matter. Our approach is to visualize all selection alternatives in a single diagram based on an adaptation of binary decision diagrams (BDDs). We also visualize the influence of the configuration constraints for car variants on the selection diagrams and show how they can help to reduce their size. Based on this method we implemented a visualization tool which additionally serves as a visual formula editor.

Beschreibung

Bischoff, Daniel; Küchlin, Wolfgang (2017): Adapting Binary Decision Diagrams for Visualizing Product Configuration Data. INFORMATIK 2017. DOI: 10.18420/in2017_149. Gesellschaft für Informatik, Bonn. PISSN: 1617-5468. ISBN: 978-3-88579-669-5. pp. 1499-1509. ASE – 15. Workshop Automotive Software Engineering. Chemnitz. 25.-29. September 2017

Zitierform

Tags