Multi-Paradigm Modelling Approaches for Cyber-Physical Systems

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

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