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

Berndt R, Bazan P, Hielscher KS, German R, Lukasiewycz M (2012)

Publication Type: Conference contribution

Publication year: 2012

Edited Volumes: Proceedings - International Conference on Quality Software

Pages Range: 189-192

Conference Proceedings Title: Proceedings of 12th International Conference on Quality Software (IEEE)

Event location: Xi'an

URI: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6319247

DOI: 10.1109/QSIC.2012.43

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 is used 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. © 2012 IEEE.

Authors with CRIS profile

Rüdiger Berndt Computer Science 7 (Computer Networks and Communication Systems) Peter Bazan Computer Science 7 (Computer Networks and Communication Systems) Kai-Steffen Hielscher Computer Science 7 (Computer Networks and Communication Systems) Reinhard German Computer Science 7 (Computer Networks and Communication Systems)

Related research project(s)

None - None

How to cite

APA:

Berndt, R., Bazan, P., Hielscher, K.-S., German, R., & Lukasiewycz, M. (2012). Multi-Valued Decision Diagrams for the Verification of Consistency in Automotive Product Data. In Proceedings of 12th International Conference on Quality Software (IEEE) (pp. 189-192). Xi'an.

MLA:

Berndt, Rüdiger, et al. "Multi-Valued Decision Diagrams for the Verification of Consistency in Automotive Product Data." Proceedings of the QSIC 2012, Xi'an 2012. 189-192.

BibTeX: Download