Goal of the integrative subproject D1 is to improve the management of cycles – especially development and change cycles – by identifying and resolving faults early during PSS innovation cycles. Therefore, sub-project D1 develops an approach, which on the one hand integrates the different heterogeneous models that are involved in the PSS innovation process and on the other hand enables a diagnosis and resolution of inconsistencies between these models through appropriate processing mechanisms. Thus, unnecessary iterations during the PSS innovation process can be avoided and, by that, time and money during PSS development can be saved.

• Start-up funding within CRC 768 based on the cooperation of subprojects A4, A6 and C2 together with Prof. C.J.J. Paredis (Georgia Institute of Technology)
  • Basis: PSS integration framework
  • Models of interest: Structural models of mechatronic manufacturing systems
  • Aim: Identification of inconsistencies
• Central results of the start-up funding
  • Graph-based representation of models using the Resource Description Framework
  • Specification of inconsistencies as graph patterns using the SPARQL Protocol and RDF Query Language
  • Specification of semantic relations through semantic mediation of domain-specific models
• Basis for inconsistency management in funding period 3

• Knowledge-based system for managing inconsistencies
  • Representation of domain knowledge in a central knowledge base
  • Processing of the modeled knowledge by means of reasoning mechansisms
• Key aspects of subproject D1
  • Representational formalism: Domain-spanning representation of the modeled knowledge
  • Reasoning mechanisms: Diagnosis and resolution of inconsistencies
  • Supporting methodology: Recommended actions, design guidelinges and visualization concept

• Feldmann, S., K. Kernschmidt, M. Wimmer, and B. Vogel-Heuser. "Managing Inter-Model Inconsistencies in Model-based Systems Engineering: Application in Automated Production Systems Engineering." Journal of Systems and Software (2019).
• Feldmann, S.; Herzig, S. J. I.; Kernschmidt, K.; Wolfenstetter, T.; Kammerl, D.; Qamar, A.; Lindemann, U.; Krcmar, H.; Paredis, C. J. J.; Vogel-Heuser, B.: A Comparison of Inconsistency Management Approaches Using a Mechatronic Manufacturing System Design Case Study. In: 10th IEEE International Conference on Automation Science and Engineering (CASE), Gotheburg, Sweden, 2015. Available: DOI.
• Feldmann, S.; Herzig, S. J. I.; Kernschmidt, K.; Wolfenstetter, T.; Kammerl, D.; Qamar, A.; Lindemann, U.; Krcmar, H.; Paredis, C. J. J.; Vogel-Heuser, B.: Towards Effective Management of Inconsistencies in Model-Based Engineering of Automated Production Systems. In: 15th IFAC Symposium on Information Control in Manufacturing (INCOM), Ottawa, Canada, 2015. Available: DOI.
• H. Li, M. Sollfrank, M. Zou, D. Ryashentseva, and B. Vogel-Heuser. "Consistent Automated Production Systems Model-ing in a Multi-disciplinary Engineering Workflow". In: 44th Annual Conference of the IEEE Industrial Electronics Society (IECON), Oct. 2018.
• M. Zou, F. Ocker, E. Huang, B. Vogel-Heuser and C. Chen. "Design Parameter Optimization of Automated Production Systems," in 14th IEEE International Conference on Automation Science and Engineering (CASE), IEEE, Aug. 2018.
• M. Zou, B. Lu and B. Vogel-Heuser."Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems," in 14th IEEE International Conference on Automation Science and Engineering (CASE), IEEE, Aug. 2018.
• Basirati, M.; Zou, M.; Bauer, H.; Kattner, N.; Reinhart, G.; Lindemann, U.; Krcmar, H. and Vogel-Heuser, B., "Towards systematic inconsistency identification for product service systems ," in 15th International Design Conference (DESIGN2018) , May. 2018.
• Zou, M.; Vogel-Heuser, B. "Feature-based Systematic Approach Development for Inconsistency Resolution in Automated Production System Design". In: 13th IEEE International Conference on Automation Science and Engineering (CASE), Xian, China, 2017