MPM4CPS: Multi-Paradigm Modeling for Cyber-Physical Systems |
Submission link | https://easychair.org/conferences/?conf=mpm4cps |
CALL FOR CHAPTERS
For book to be published by Elsevier:
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems
Editors:
Bedir Tekinerdogan, Wageningen University, The Netherlands
Dominique Blouin, Telecom ParisTech, France
Hans Vangheluwe, University of Antwerp, Belgium
Miguel Goulão, Universidade Nova de Lisboa, Portugal
Paulo Carreira, Instituto Superior Técnico, Portugal
Vasco Amaral, Universidade Nova de Lisboa, Portugal
Introduction:
Truly complex, engineered systems, known as Cyber Physical Systems (CPS), are emerging that integrate physical, software, and network aspects. To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. Multi-paradigm Modelling (MPM) proposes to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). Modelling languages engineering, including model transformation, and the study of their semantics, are used to realize MPM. MPM is seen as an effective answer to the challenges of designing CPS.
Modelling and analysis are crucial activities in the development of Cyber-Physical Systems. Moreover, the inherent cross-disciplinary nature of CPS requires distinct modelling techniques related to different disciplines to be employed while at the same time, to enable communication between all specialties, common background knowledge is needed. Anyone starting in the field of CPS will be faced with the need for literature with solid foundations of modelling CPS and with a comprehensive introduction to the distinct existing techniques with clear reasoning on their advantages and limitations. Indeed, although most of these techniques are already used as a matter of common practice in certain disciplines, the knowledge of their fundamentals and application is typically far away from practitioners of another area. The net result is the tendency for CPS practitioners to use the technique that they are most comfortable with, disregarding the technique that would be the most adequate for the problem and modelling goal.
Objectives of the book:
The goal of this book volume is to serve as a showcase of the outcomes of research and experience in MPM4CPS. As such, the book is expected to cover the results on the foundations, formalisms, tools and educational resources produced within the MPM4CPS network. The text will focus on state-of-the-art research and practice knowledge.
Target audience:
The book will help graduate students, researchers and practitioners to get acquainted with recent research outcomes of the MPM4CPS network.
Topics should include, but are not limited to:
A. Utilization (modelling, simulation and analysis) of Hybrid Formalisms
A.1 Continuous + Discrete
A.2 Agent-Based + Other
A.3 Non-Determinist + Other
A.4 Other combinations
B. Process Formalisms
B.1 Introduction to process formalisms
B.2 Problem lifecycle modelling
B.3 Process modelling
B.4 Human in the loop
B.5 Models at runtime
C. Tools and Case studies
D. Educational Resources
Submission and revision process:
Each chapter proposal should be between 7,500 - 10,000 words. There are no strict formatting requirements, but all manuscripts must contain the essential elements needed to convey your manuscript, for example Abstract, Keywords, Introduction, Materials and Methods, Results, Conclusions, Artwork and Tables with Captions. Chapters will be reviewed by 2 to 3 reviewers.
Please submit your chapter to:
https://easychair.org/conferences/?conf=mpm4cps
Important Dates:
- Submission of abstracts (approx. 300 words): 31 December 2018 (Contact us should you need more time)
- Full Chapters due: 31 March 2019
- Notification: 15 May April 2019
- Camera Ready Copy due: 1 July 2019
- Expected publication: End of 2019/beginning 2020