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 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

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.

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.

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

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).

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.