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

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Berndt R, Bazan P, Hielscher KS, German R, Lukasiewycz M
Titel Sammelwerk: Proceedings - International Conference on Quality Software
Jahr der Veröffentlichung: 2012
Tagungsband: Proceedings of 12th International Conference on Quality Software (IEEE)
Seitenbereich: 189-192
ISSN: 1550-6002


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.



FAU-Autoren / FAU-Herausgeber

Bazan, Peter Dr.-Ing.
Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)
Berndt, Rüdiger
Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)
German, Reinhard Prof. Dr.
Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)
Hielscher, Kai-Steffen Dr.-Ing.
Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)


Zitierweisen

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: 

Zuletzt aktualisiert 2018-20-10 um 21:40