LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code needed.
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
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteMulti-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.
- Identifies key problems and offers solution approaches as well as tools which have been developed or are necessary for modeling paradigms across cyber physical systems
- Explores basic theory and current research topics, related challenges, and research directions for multi-paradigm modeling
- Provides a complete, conceptual overview and framework of the research done by the MPM4CPS working groups and the different types of modeling paradigms developed
Graduate students and researchers of computer science/engineering, model-driven engineering; electrical engineers, industrial engineers and research engineers working with scientists across physical/ life/eng application domains
- 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
- No. of pages: 314
- Language: English
- Edition: 1
- Published: November 20, 2020
- Imprint: Academic Press
- Paperback ISBN: 9780128191057
- eBook ISBN: 9780128191064
BT
Bedir Tekinerdogan
Dr. 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
Wageningen University, Wageningen, The NetherlandsDB
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, FranceHV
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, BelgiumMG
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, PortugalPC
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, PortugalVA
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, PortugalRead Multi-Paradigm Modelling Approaches for Cyber-Physical Systems on ScienceDirect