MDD-based Verification of Car Manufacturing Data

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.