Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data

Author

Berndt, Rüdiger ; Bazan, Peter ; Hielscher, Kai-Steffen ; German, Reinhard ; Lukasiewycz, Martin

Author_Institution

Comput. Networks & Commun. Syst., Friedrich-Alexander Univ. of Erlangen-Nurnberg, Erlangen, Germany

fYear

2012

fDate

27-29 Aug. 2012

Firstpage

189

Lastpage

192

Abstract

Highly customizable products and mass customization - as increasing trends of the last years - are mainly responsible for an immense growth of complexity within the digital representations of knowledge of car manufacturers. We developed a method to detect and analyze inconsistencies by employing a Multi-Valued Decision Diagram (MDD) which issued to encode the set of all valid product configurations. On this basis, we stated a number of rules of consistency that are checked by a set-based verification scheme.

Keywords

automobile industry; automobiles; automotive engineering; data analysis; data integrity; decision diagrams; knowledge management; mass production; product customisation; product life cycle management; production engineering computing; set theory; MDD; automotive product data; car manufacturer; consistency checking; consistency verification; highly customizable product; inconsistency analysis; inconsistency detection; knowledge digital representation; mass customization; multivalued decision diagram; product configuration; set-based verification; Assembly; Automotive engineering; Bills of materials; Data models; Equations; digital manufacturing; formal verification; knowledge representation; multi-valued decision diagram; product configuration;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software (QSIC), 2012 12th International Conference on

Conference_Location

Xi´an, Shaanxi

ISSN

1550-6002

Print_ISBN

978-1-4673-2857-9

Type

conf

DOI

10.1109/QSIC.2012.43

Filename

6319247