Multi-Paradigm Modelling Approaches for Cyber-Physical Systems

1st Edition - November 20, 2020
Editors: Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goulão, Paulo Carreira, Vasco Amaral
Language: English
Paperback ISBN:
9 7 8 - 0 - 1 2 - 8 1 9 1 0 5 - 7
eBook ISBN:
9 7 8 - 0 - 1 2 - 8 1 9 1 0 6 - 4

Multi-Paradigm Modelling for Cyber-Physical Systems explores modeling and analysis as crucial activities in the development of Cyber-Physical Systems, which are inherently cross-… Read more

Multi-Paradigm Modelling Approaches for Cyber-Physical Systems

Purchase options

LIMITED OFFER

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Institutional subscription on ScienceDirect

Request a sales quote

Multi-Paradigm Modelling for Cyber-Physical Systems explores modeling and analysis as crucial activities in the development of Cyber-Physical Systems, which are inherently cross-disciplinary in nature and require distinct modeling techniques related to different disciplines, as well as a common background knowledge. This book will serve as a reference for anyone starting in the field of CPS who needs a solid foundation of modeling, including a comprehensive introduction to existing techniques and a clear explanation of their advantages and limitations. This book is aimed at both researchers and practitioners who are interested in various modeling paradigms across computer science and engineering.

Cover image
Title page
Table of Contents
Copyright
List of contributors
Chapter 1: Introduction
Abstract
1.1. Objectives
1.2. Outline of the book
1.3. Acknowledgements
Part 1: Ontological framework
Chapter 2: An ontological foundation for multi-paradigm modelling for cyber-physical systems
Abstract
2.1. Introduction
2.2. Ontology development approach
2.3. Modelling languages and tools
2.4. Ontology architecture
2.5. Shared ontology
2.6. Introduction of examples
2.7. Conclusion
References
Chapter 3: A feature-based ontology for cyber-physical systems
Abstract
3.1. Introduction
3.2. Metamodel of cyber-physical systems
3.3. Feature model of cyber-physical systems
3.4. Architecture of CPS
3.5. Examples
3.6. Conclusion
References
Chapter 4: An ontology for multi-paradigm modelling
Abstract
4.1. Introduction
4.2. State of the art
4.3. MPM ontology
4.4. Examples
4.5. Conclusion
References
Chapter 5: An integrated ontology for multi-paradigm modelling for cyber-physical systems
Abstract
5.1. Introduction
5.2. State of the art
5.3. Ontology
5.4. Examples
5.5. Conclusion
References
Part 2: Methods and tools
Chapter 6: Enabling composition of cyber-physical systems with the two-hemisphere model-driven approach
Abstract
6.1. Introduction
6.2. Components of cyber-physical systems
6.3. Cyber-physical systems in the context of system composition
6.4. Two-hemisphere model-driven approach
6.5. The two-hemisphere model-driven approach for solving composition problems
6.6. Conclusions
Acknowledgements
References
Chapter 7: Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system
Abstract
7.1. Introduction
7.2. Case study description
7.3. Techniques
7.4. Methodology
7.5. Modelling of the subsystems
7.6. Verification & validation
7.7. Conclusion
Acknowledgements
References
Chapter 8: Agent-based cyber-physical system development with SEA_ML++
Abstract
8.1. Introduction
8.2. Background
8.3. Related work
8.4. SEA_ML++
8.5. Agent-based CPS modelling and development using SEA_ML++
8.6. Development of a multi-agent garbage collection CPS
8.7. Conclusion
Acknowledgements
References
Chapter 9: CREST – a DSML for hybrid CPS modelling
Abstract
9.1. Introduction
9.2. Hybrid formalisms
9.3. Domain-specific, hybrid modelling using CREST
9.4. Implementation
9.5. Discussion
9.6. Summary
References
Part 3: Case studies
Chapter 10: Development of an IoT and WSN based CPS using MPM approach: a smart fire detection case study
Abstract
10.1. Introduction
10.2. Requirement elicitation
10.3. System design
10.4. Modelling and simulation
10.5. Implementation
10.6. Multi-paradigm development process in FTG+PM framework
10.7. Summary
10.8. Literature and further reading
Acknowledgements
References
Chapter 11: Development of industry oriented cross-domain study programs in cyber-physical systems for Belarusian and Ukrainian universities
Abstract
11.1. Introduction
11.2. Related work
11.3. Review of the labour markets of Belarus and Ukraine
11.4. COST Action input to European curricula on CPS
11.5. Identification of industry needs
11.6. Validation of COST findings for curricula on CPS in Belarusian and Ukrainian universities
11.7. Discussions and conclusions
Acknowledgements
References
Index

Bedir Tekinerdogan

Bedir Tekinerdogan is a full professor and chair of the Information Technology group at Wageningen University in The Netherlands. He received his MSc degree (1994) and a PhD degree (2000) in Computer Science, both from the University of Twente, The Netherlands. From 2003 until 2008 he was a faculty member at University of Twente, after which he joined Bilkent University until 2015. He has more than 20 years of experience in software engineering research and education. His main research includes the engineering of smart software-intensive systems. In particular, he has focused on and is interested in software architecture design, software product line engineering, model-driven development, parallel computing, cloud computing and system of systems engineering. He has been active in dozens of national and international research and consultancy projects with various large software companies whereby he has worked as a principal researcher and leading software/system architect. He has developed and taught more than 15 different academic software engineering courses and has provided software engineering courses to more than 50 companies in The Netherlands, Germany and Turkey.

Affiliations and expertise

Full Professor, Information Technology Group, Wageningen University and Research, The Netherlands

Dominique Blouin

Dr Dominique Blouin obtained an MSc in physics from the University of British Columbia (Canada) in 1994 and a PhD in computer science from the University of South-Brittany (France) in 2013. He was a software architect at Cassiopae (France) until 2008 when he joined the Lab-STICC at the University of South-Brittany as a research engineer. After a post doc in the system analysis and modeling group of the Hasso Plattner institute in Potsdam (Germany), he joined the LTCI lab in 2016 as a research engineer at Telecom ParisTech. He is the vice-chair of working group 1 of the MPM4CPS COST action on foundations for MPM4CPS and a member of the SAE AADL standardization committee. He initiated the RDAL language, which lead to the ALISA (Architecture-led Incremental System Assurance) workbench for AADL. He is a contributor to the RAMSES analysis and code generation tool for AADL. His research interests are multi-paradigm modeling, model management, model transformation and synchronization, domain-specific languages, requirements engineering, cyber-physical and embedded systems.

Affiliations and expertise

Department of Computer Science and Networks, Telecom Paris, Institut Polytechnique de Paris, France

Hans Vangheluwe

Hans Vangheluwe is a Professor in the Department of Computer Science, University of Antwerp and Flanders Make, Belgium, where he is a founding member of the NEXOR Consortium on Cyber-Physical Systems (CPS). He was a Professor in the School of Computer Science at McGill University, Montreal, Canada with which he keeps close research ties. AnSyMo is a Core Research Lab of Flanders Make, the strategic research centre for the Flemish manufacturing industry. Since 2000, professor Vangheluwe heads the Modelling, Simulation and Design Lab (MSDL). In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM) in application domains as diverse as bio-actived sludge waste-water treatment plant design and optimization and safe automotive software. He is the chair of the EU COST Action IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS). He has over 200 peer reviewed publications and is on the editorial and advisory board of various modelling and simulation as well as model driven engineering journals and conferences. He is a frequent reviewer for international research agencies

Affiliations and expertise

Department of Computer Science, University of Antwerp and Flanders Make, Belgium

Miguel Goulão

Miguel Goulão is an Assistant Professor in the Department of Computer Science and NOVA LINCS, School of Science and Technology, NOVA University of Lisbon, Portugal. He received a Ph.D. (2008) in Computer Science from NOVA University of Lisbon. The broad aim of his research is to improve the software developer's productivity and developer experience, in order to better deal with software development complexity. Miguel uses Evidence-Based, Empirical Software Engineering, and User Experience evaluation techniques to identify the strengths and shortcomings in languages, tools, and approaches. He uses these quantitative and qualitative assessments not only in the evaluation of Software Engineering claims but also as an objective input to help to devise improvements to fix the identified shortcomings. Miguel is particularly interested in improving the understandability of Requirements Engineering and Domain-Specific Languages (and of specifications built with those languages), to empower developers and other stakeholders to more effectively read and write software specifications. He is Vice-Chair of the Education and Dissemination working group of the COST Action on Multi-Paradigm Modeling for Cyber-Physical Systems. Miguel has published over 70 papers in peer-reviewed international journals, conferences, and workshops, and served as guest editor of special issues in international journals, as PC member, and as PC and Organizing Chair of several events. He received the best paper award at the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014) and was a co-author of the paper receiving the János Szentes Award for the best paper on Software Metrics presented at the 6th European Conference on Software Quality (ECSQ 1999).

Affiliations and expertise

Department of Computer Science and NOVA LINCS, School of Science and Technology, NOVA University of Lisbon, Portugal

Paulo Carreira

Paulo Carreira is a Senior Researcher at INESC-ID and lecturer of Software Engineering and Database Subjects at IST. His work focuses on the creation of highly modular software for real-time data intensive applications such as energy management and building control, now counting over 50 publications and 40+ MSc students advised. Paulo has served as a senior researcher at multiple national and EU-funded research projects on Big Data, Real-Time and Sensor Data Processing, and as the PI of multiple R&D projects with industry. He was the organiser of two editions of the IT4Energy Int'l Workshop and the co-organizer of the DSM-TP 2013 and 2014 Int'l Summer Schools. Before joining academia, he worked 10 years in industry on a number of high-visibility data integration projects serving both in technical and managerial roles. He has been elected a Committee Member for the IC1404 “Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS)" EU COST Action. Paulo is also a Senior Member of the IEEE and the CTO of Sensei.

Affiliations and expertise

Department of Computer Science and Engineering and INESC-ID, Instituto Superior Técnico, University of Lisbon, Porto Salvo, Portugal

Vasco Amaral

Vasco Amaral is an assistant professor in the Department of Computer Science, in the Science and Technology of Programming Section (CTP) of UNL (Universidade Nova de Lisboa) and Senior Researcher (and founding member) of NOVALINCS Research Centre. He holds a PhD from the University of Mannheim in Germany, worked in the past as a software engineer on High Energy Physics Computing and Very Large Databases at CERN (Switzerland), DESY (Germany), and LIP (Portugal). Over the last several years, he has worked on the general topic of Software Language Engineering, focusing on the use of Model-Driven Development (MDD) approaches, at both the Foundational and Application level. He is currently a senior member of IEEE and a senior member in the Portuguese professional association, "Ordem dos Engenheiros". Dr. Amaral’s research is currently focused on MDD with a preference for the topics of Multi-paradigm Modeling for Cyber-Physical Systems, Verification, Model Composition and Transformations, Multi-Paradigm Modeling, DSL Engineering approaches DSL Experimental Evaluation (Human Factors) and MDD education. He is currently vice chair of the MPM4CPS COST Action IC1404. He has a track record of more than 100 publications in reputed peer-reviewed journals, conferences and workshops. He was special issue Editor of Springer's SQJ ("Quality in Model-Driven Engineering" and "Human Factors in Modeling") and Elsevier's COMLAN ("Quality in Model-Driven Engineering"), and serves regularly as reviewer for several journals ( SQJ, COMLAN, SoSym, JSS, VLJ, ComSIS, among others), conferences (MODELS, IMT, ACM SAC, IEEE COMPSAC, VLHCC, among others), and project proposals for the EU (COST). He has supervised 4 PhD students, graduated more than 50 MSc students, and supervised more than 30 BSc student projects.

Affiliations and expertise

Associate professor, Department of Computer Science and NOVA LINCS, School of Science and Technology, NOVA University of Lisbon, Portugal