Benchmarks for Model Transformations and Conformance Checking

Suitable open benchmark models help to assess, evaluate, and compare tools and techniques, help the research community understand the nature and complexity of the problems facing industrial practitioners, and also help industry to embrace new techniques. We present two benchmark models from the automotive powertrain control domain. Each model has a unique level of complexity. The models are intended to challenge the research community while maintaining a manageable scale. Also, we give our observations and discuss challenges for the research community. Category: Industrial Difficulty: High