Title :
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
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;
Conference_Titel :
Quality Software (QSIC), 2012 12th International Conference on
Conference_Location :
Xi´an, Shaanxi
Print_ISBN :
978-1-4673-2857-9
DOI :
10.1109/QSIC.2012.43
