Multi-Paradigm Modelling Approaches for Cyber-Physical Systems

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.

Identifies key problems and offers solution approaches as well as tools which have been developed or are necessary for modeling paradigms across cyber physical systemsExplores basic theory and current research topics, related challenges, and research directions for multi-paradigm modelingProvides a complete, conceptual overview and framework of the research done by the MPM4CPS working groups and the different types of modeling paradigms developed

1. Introduction

Part 1. Ontological framework

2. An ontological foundation for multi-paradigm modelling for cyber-physical Systems

3. A feature-based ontology for cyber-physical systems

4. An ontology for multi-paradigm modelling

5. An integrated ontology for multi-paradigm modelling for cyber-physical Systems

Part 2. Methods and tools

6. Enabling composition of cyber-physical systems with the two-hemisphere model-driven approach

7. Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system

8. Agent-based cyber-physical systemdevelopment with SEA_ML++

9. CREST – a DSML for hybrid CPSmodelling

Part 3. Case studies

10. Development of an IoT and WSN based CPS using MPM approach: a smart fire detection case study

11. Development of industry oriented cross-domain study programs in cyber-physical systems for Belarusian and Ukrainian universities