MDD-based Verification of Car Manufacturing Data

Berndt R, Bazan P, Hielscher KS (2011)

Publication Type: Conference contribution, Conference Contribution

Publication year: 2011

Edited Volumes: Proceedings - CIMSim 2011: 3rd International Conference on Computational Intelligence, Modelling and Simulation

Pages Range: 187-193

Conference Proceedings Title: Third International Conference on Computational Intelligence, Modelling & Simulation (IEEE)

Event location: Malaysia MY

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

DOI: 10.1109/CIMSim.2011.40

Abstract

In order to satisfy the growing demand for individualization within the automotive sector, the concept of mass customization has been continuously evolving over the past years. As a consequence, the complexity within the underlying data structures has been steadily increasing. In this article we introduce an approach of how to ensure consistency within car manufacturing data with the help of a Multi-Valued Decision Diagram (MDD). The data basis of the car manufacturing application is not derived from higher level models and therefore lacks structural information. For large real world applications, the corresponding MDD cannot be constructed due to memory limitations even if well-known dynamic variable reordering techniques are used. Therefore, a combination of three dynamic variable reordering approaches and the sorting of the sequence of data compilation are introduced. Using this algorithm, the decision diagram can now be constructed with a low memory consumption in reasonable time. © 2011 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)

Related research project(s)

None - None

How to cite

APA:

Berndt, R., Bazan, P., & Hielscher, K.-S. (2011). MDD-based Verification of Car Manufacturing Data. In IEEE (Eds.), Third International Conference on Computational Intelligence, Modelling & Simulation (IEEE) (pp. 187-193). Malaysia, MY.

MLA:

Berndt, Rüdiger, Peter Bazan, and Kai-Steffen Hielscher. "MDD-based Verification of Car Manufacturing Data." Proceedings of the CimSim 2011, Malaysia Ed. IEEE, 2011. 187-193.

BibTeX: Download