The Christian Doppler Laboratory (CDL) Model-Integrated Smart Production (CDL-MINT) contributes to the foundations of software and systems modeling in general and in particular for smart Cyber Physical Production Systems (CPPS).


Production systems are becoming more and more software-intensive, thus turning into cyber-physical production systems (CPPS). This is also highlighted and reflected by Industrie 4.0, which is seen as the next industrial revolution. As with the previous industrial revolutions, new demands have to be satisfied, e.g., virtually exploring variants, finding optimal solutions, and making dynamic runtime decisions, to allow companies to be more competitive. As a consequence, however, the complexity of CPPS is increasing. To deal with this increased complexity, modeling is a promising approach in this context. However, current modeling foundations and practices are still lacking behind the emerging requirements of Industrie 4.0. First of all, models are still defined and used in isolation within a specific discipline, although it is known that CPPS are inherently multi-disciplinary systems and their optimization has to take this into account. Moreover, models are considered as static entities, mostly used as system blueprints in the early design phases, but they are basically neglected in later lifecycle phases, which drastically limits their value during the systems‘ operation for propagating important runtime information back to engineering.

Goals

The Christian Doppler Laboratory (CDL) Model-Integrated Smart Production (CDL-MINT) contributes to the foundations of software and systems modeling in general and in particular for CPPS. The main goal is to reach a revolutionary new notion of models, so-called liquid models, which implies going from isolated and static descriptions to cooperative and evolutionary prescriptions. By doing so, we stimulate a paradigm shift in modeling knowledge creation, dissemination, and evaluation leading to truly model-integrated smart production.

Duration
01/2017-12/2023

Results

The work of CDL-MINT is divided into two project modules, whereby each will be conducted with one industrial partner. The topics of the two modules are all concerned with model-integrated smart production, thus using the notion of liquid models as a key research driver. The module Cooperative Simulation Megamodels is focusing on the cooperative nature of models by providing schemes for managing related models and their co-simulations in order to optimize production systems. The module Reactive Model Repositories is dealing with the extended usage of models also during operation time by providing a novel kind of model repository which allows for runtime monitoring, model mining, and design model enhancement. By this, both modules contribute to the notion of liquid models by providing (i) cooperation, and (ii) evolution mechanisms for models in general and in particular for the domain of CPPS. Consequently, these modules enable end-to-end integration of engineering which provides end-to-end transparency in real-time.

More Information

Contact: Manuel Wimmer, Andrea Mitter, Radek Sindelar, Sabine Wolny

CDL MINT – Christian Doppler Laboratory for Model-Integrated Smart Production

Publications

B. Wally, J. Vyskocil, P. Novak, C. Huemer, R. Sindelar, P. Kadera, A. Mazak-Huemer, M. Wimmer: Leveraging Iterative Plan Refinement for Reactive Smart Manufacturing Systems, Journal IEEE Transactions on Automation Science and Engineering, 2020, pages 1-14. Doi: 10.1109/TASE.2020.3018402
Journal Article
A. Mazak-Huemer, S. Wolny, A. Gómez, J. Cabot, M. Wimmer, G. Kappel: Temporal Models on Time Series Databases, Journal of Object Technology, Volume 19, no. 3, October 2020, pages 3:1-15 Doi: 10.5381/jot.2020.19.3.a14.
Journal Article
A. Garmendia, M. Wimmer, E. Guerra, E. Gómez-Martínez, J. de Lara: Automated Variability Injection for Graphical Modelling Languages, in Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming, Concepts and Experiences (GPCE 2020), November 15-20, 2020, Chicago, USA, Virtual. Doi: 10.1145/3425898.3426957, pdf
Conference Article
B. Horváth, Á. Horváth, M. Wimmer: Towards the next generation of reactive model transformations on low-code platforms: three research lines, MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, October 16-23, 2020, Montreal, Canada, virtual event, pages 1-10. Doi: 10.1145/3417990.3420199
Conference Article
D. Bork, A. Garmendia, M. Wimmer: Towards a Multi-Objective Modularization Approachfor Entity-Relationship Models, ER Forum, Demo and Posters 2020, co-located with 39th International Conference on Conceptual Modeling (ER 2020), Vienna, Austria, November 3-6, 2020. Best Paper Award! pdf
Conference Article
D. Lehner, S. Wolny, A. Mazak-Huemer, M. Wimmer: Towards a Reference Architecture for Leveraging Model Repositories for Digital Twins, IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, 8.-11. September 2020. pdf
Conference Article
D. Leroy, P. Jeanjean, E. Bousse, M. Wimmer, B. Combemale: Runtime Monitoring for Executable DSLs, Journal of Object Technology, Volume 19, no. 2, July 2020, pages 6:1-23 Doi: 10.5381/jot.2020.19.2.a6.
Journal Article
A. Garmendia, M. Wimmer, A. Mazak-Huemer, E Guerra, J. de Lara: Modelling Production System Families with AutomationML, 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020. Doi: 10.1109/ETFA46521.2020.9211894
Conference Article
J. Cuadrado, L. Burgueno, M. Wimmer, A. Vallecillo: Efficient execution of ATL model transformations using static analysis and parallelism, Journal of IEEE Transactions on Software Engineeringm, July 23 ,2020 Doi: 10.1109/TSE.2020.3011388
Journal Article
B. Combemale, J. Kienzle, G. Mussbacher, H. Ali, D. Amyot, M. Bagherzadeh, E. Batot, N. Bencomo, B. Benni, J.-M. Bruel et al.: A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems, IEEE Software, Institute of Electrical and Electronics Engineers, May 2020. pdf
Journal Article
B. Combemale, J. Kienzle, G. Mussbacher, H. Ali, D. Amyot, M. Bagherzadeh, E. Batot, N. Bencomo, B. Benni, J.-M. Bruel et al.: A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems, IEEE Software, Institute of Electrical and Electronics Engineers, May 2020. pdf
Journal Article
D. Leroy, E. Bousse, M. Wimmer, T. Mayerhofer, B. Combemale, W. Schwinger: Behavioral interfaces for executable DSLs, in Springer: Software and Systems Modeling, pages 1-29, April 2020. Doi: 10.1007/s10270-020-00798-2
Journal Article
A. Wortmann, O. Barais, B. Combemale, M. Wimmer: Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study, in Software and Systems Modeling (SoSyM), Publisher Springer, pages 67-94, 2020. Doi: 10.1007/s10270-019-00757-6
Journal Article
B. Alkhazi, C. Abid, M. Kessentini, D. Leroy, M. Wimmer: Multi-criteria test cases selection for model transformations, Journal Automated Software Engineering, Springer, April 2020. Doi: 10.1007/s10515-020-00271-w
Journal Article
J. Stefan, A. Burdusel, R. Bill, D. Strüber, G. Taentzer, S. Zschaler, M. Wimmer: Searching for Optimal Models: Comparing Two Encoding Approaches, in: Felderer, M., Hasselbring, W., Rabiser, R. & Jung, R. (Hrsg.), Software Engineering 2020, in Gesellschaft für Informatik e.V., pages 101-103. Doi:10.18420/SE2020_30
Book Chapter
B. Alkhazi, C. Abid, M. Kessentini, M. Wimmer: On the value of quality attributes for refactoring ATL model transformations: A multi-objective approach, Journal of Information and Software Technology, Volume 120, April 2020. Doi: 10.1016/j.infsof.2019.106243
Journal Article
A. Mazak, S. Wolny, M. Wimmer, D. Siegl, K. Wieland: Entwicklung einer domänenspezifischen Sprache zur Modellierung von Komponentenversionen und ihren Abhängigkeiten, Konferenz Tages des Systems Engineering (TdSE), 6.-8. November 2019, München, Germany. Programm final TdSE
Conference Article
A. Wurl, A. Falkner, A. Haselböck, A. Mazak, P. Filzmoser: A Conceptual Design of a Digital Companion for Failure Analysis in Rail Automation, 21st IEEE Conference on Business Informatics, CBI 2019, Moscow, Russia, July 15-17, 2019 Doi: 10.1109/CBI.2019.00073
Conference Article
S. Wolny, A. Mazak, B. Wally: An Initial Mapping Study on MDE4IoT, Workshop Paper, ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Copenhagen, Denmark, October 14-19, 2018 paper
Workshop Article
M. Wimmer: Industrial robot meets digital twin, Der Standard 19. Mai 2019. article
Journal Article
H. Isakovic, V. Bisanovic, B. Wally, T. Rausch, D. Ratasich, S. Dustdar, G. Kappel, R. Grosu: Sensyml: Simulation Environment for large-scale IoT Applications, in Proceedings of the 45th IEEE Annual Conference of the Industrial Electronics Society (IECON), Lisbon, Portugal, October 14-17, 2019 DOI: 10.1109/IECON.2019.8927756
Conference Article
E. Bousse, M, Wimmer: Domain-Level Observation and Control for Compiled Executable DSLs, 22nd ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems, (MODELS 2019), Munich, Germany, September 15-20, 2019, pages 150-160. Doi: 10.1109/MODELS.2019.000-6
Conference Article
B. Wally, L. Lang, R. Wlodarski, R. Sindelar, C. Huemer, A. Mazak, M. Wimmer: Generating Structured AutomationML Models from IEC 62264 Information, in Proceedings of the 5th AutomationML PlugFest 2019, Hamburg, Germany, September 25-26, 2019 Generating-Structured-AutomationML-Paper
Conference Article
S. Wolny, A. Mazak, C. Carpella, V. Geist, M. Wimmer: Thirteen years of SysML: a systematic mapping study, Journal of Software & Systems Modeling, May 13, 2019, ISSN: 1619-1374, Doi: 10.1007/s10270-019-00735-y
Journal Article
B. Wally, J. Vyskocil, P. Novak, C. Huemer, R. Sindelar, P. Kadera, A. Mazak, M. Wimmer: Production Planning with IEC 62264 and PDDL, in Proceedings of the 17th IEEE International Conference on Industrial Informatics (INDIN 2019), Helsinki, Finland, July 22-25, 2019, pages 492-499.
Conference Article
B. Wally, J. Vyskocil, P. Novak, C. Huemer, R. Sindelar, P. Kadera, A. Mazak, M. Wimmer: Flexible Production Systems: Automated Generation of Operations Plans based on ISA-95 and PDDL, in IEEE Robotics and Automation Letters, Volume 4 , Issue 4, pp. 4062-4069, October 2019 doi: 10.1109/LRA.2019.2929991
Journal Article
P. Neubauer, R. Bill, D. Kolovos, R. Paige, M. Wimmer: Reusable Textual Styles for Domain-Specific Modeling Languages, 19th International Workshop in OCL and Textual Modeling, 2019, Munich, Germany, September 15-20, 2019. pdf
Workshop Article
M. Famelis, G. Kappel, L. Lambers, S. Mosser, R. F. Paige, A. Pierantonio, A. Rensink, R. Salay, G. Taentzer, A. Vallecillo, M. Wimmer: Contents for a Model-Based Software Engineering Body of Knowledge, in Software & Systems Modeling (SoSyM), pp 1-13, July 2019, DOI: 10.1007/s10270-019-00746-9
Journal Article
A. Wurl, A. Falkner, A. Haselböck, A. Mazak, P. Filzmoser: Exploring Robustness in a Combined Feature Selection Approach, 8th International Conference on Data Science, Technology and Applications (DATA 2018), Prague, Czech Republic, July 26-28, 2019 (Best Paper Award). Doi: 10.5220/0007924400840091
Conference Article
B. Vogel-Heuser, C. Fantuzzi, M. Wimmer, M. Böhm, A. Fay: Herausforderungen in der interdisziplinären Entwicklung von Cyber-Physischen Produktionssystemen in : at - Automatisierungstechnik, Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik 2019, 67 (6), pages 445, 454, doi: 10.1515/auto-2018-0144
Journal Article
S. Wolny, A. Mazak, M. Wimmer: Automatic Reverse Engineering of Interaction Models from System Logs, 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA), Zaragoza, Spain, September 10-13, 2019. Doi: 10.1109/ETFA.2019.8869502
Conference Article
S. Wolny, A. Mazak, M. Wimmer, C. Huemer: Model-driven Runtime State Identification, 40 Years SIG EMISA: Digital Ecosystems of the Future: Methods, Techniques and Applications (EMISA), May 15-17, 2019, Tutzing, Germany. https://dl.gi.de/handle/20.500.12116/33137, pdf
Workshop Article
S. Wolny, A. Mazak, C. Carpella, V. Geist, M. Wimmer: Thirteen years of SysML: a systematic mapping study, Journal of Software & Systems Modeling, May 13, 2019, ISSN: 1619-1374, doi: 10.1007/s10270-019-00735-y
Journal Article
L. Burgueno, T. Mayerhofer, M. Wimmer, A. Vallecillo: Specifying Quantities in Software Models, Journal of Information and Software Technology, May 2019, doi: 10.1016/j.infsof.2019.05.006
Journal Article
B. Wally, C. Huemer, A. Mazak, M. Wimmer, S. Radek: Modeling Variability and Persisting Configurations in OPC UA, in Procedia CIRP, pp. 13-18, 52nd CIRP Conference on Manufacturing Sytems (CIRP CMS 2019) Doi: 10.1016/j.procir.2019.03.003
Journal Article
M. Wimmer: Software Evolution in Time and Space: Unifying Version and Variability Management, Dagstuhl Seminar 19191, May 5 – 10 , 2019, co-organized with Manuel Wimmer (JKU Linz, AT), Thorsten Berger (Chalmers and University of Gothenburg, SE), Marsha Chechik (University of Toronto, CA), Timo Kehrer (HU Berlin, DE), Schloss Dagstuhl, Germany see dagstuhl, http://dx.doi.org/10.4230/DagRep.9.5.1
Misc
S. Feldmann, K. Kernschmidt, M. Wimmer, B. Vogel-Heuser: Managing Inter-Model Inconsistencies in Model-based Systems Engineering: Application in Automated Production Systems Engineering, Journal of Systems and Software Engineering, Volume 153, Juli 2019, pages 105-134. doi: 10.1016/j.jss.2019.03.060
Journal Article
D. Ameller, X. Franch, C. Gómez, S. Martínez-Fernández, J. Araujo, S. Biffl, J. Cabot, V. Cortellessa, D. Méndez Fernández, A. Moreira, H. Muccini, A. Vallecillo, M. Wimmer, V. Amaral, W. Böhm, H. Brunelière, L. Burgueño, M. Goulão, S. Teufl, L. Berardinelli: Dealing with Non-Functional Requirements in Model-Driven Development: A Survey, IEEE Transactions on Software Engineering, (*) (2019). doi: 10.1109/TSE.2019.2904476
Journal Article
M. Wimmer, A. Mazak: From AutomationML to AutomationQL: A By-Example Query Language for CPPS Engineering Models, 14th International Conference on Automation Science and Engineering (CASE 2018), München; 20.-24.08.2018; in Proceedings of the 14th International Conference on Automation Science and Engineering, 2018, pages 1 - 10 program CASE18
Conference Article
W. Kessentini, H. Sahraoui, M. Wimmer: Automated Metamodel/Model Co-Evolution: A Search-Based Approach, Information and Software Technology, TBD (2018), TBD, pages 1 - 30 doi: 10.1016/j.infsof.2018.09.003
Journal Article
S. Wolny, A. Mazak, M. Wimmer, R. Konlechner, G. Kappel: Model-Driven Time-Series Analytics, in Enterprise Modelling and Information Systems Architectures (EMISA), 13 (2018), pages 252 - 261. doi: 10.18417/emisa.si.hcm.19
Journal Article