Visit Prof. Vangheluwe's Homepage

Institutions: University of Antwerp (Belgium) and McGill University, Montr�al (Canada)

Short Bio

Dr. Vangheluwe is a Full Professor in the department of Mathematics and Computer Science at the University of Antwerp (Belgium), an Adjunct Professor in the School of Computer Science at McGill University (Canada) and an Adjunct Professor at the National University of Defense Technology (NUDT) in Changsha, China. He heads the Modelling, Simulation and Design (MSDL) research lab, part of the AnSyMo/CoSys-Lab core lab of Flanders Make.

He has been the Principal Investigator of a number of research projects focused on the development of a multi-formalism theory and enabling technology for Modelling and Simulation. Some of this work has led to the WEST++ tool, which was commercialised for use in the design and optimization of bioactivated sludge Waste Water Treatment Plants.

He was the co-founder and coordinator of the European Union's ESPRIT Basic Research Working Group 8467 ``Simulation in Europe'', a founding member of the Modelica Design Team, and currently the chair of COST Action IC1404 Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS). He is an advisor to national and international granting agencies in Europe and North America.

In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM). His current interests are in domain-specific modelling and simulation, including the development of graphical user interfaces for multiple platforms. The MSDL's tool AToMPM (A Tool for Multi-Paradigm Modelling), developed in collaboration with Prof. Eugene Syriani uses meta-modelling and graph transformation to specify and generate domain-specific environments. Recently, he has been active in the design of Automotive applications.

Visit Dominique's Homepage

Institutions: Telecom ParisTech (France)

Short Bio

Dominique Blouin obtained an M. Sc. 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 (bi-directional transformation), domain-specific languages, requirements engineering, cyber-physical and embedded systems.

Visit Etienne's Homepage

Institutions: Telecom ParisTech (France)

Etienne Borde is currently a researcher at LTCI (Laboratoire Traitement et Communication de l'Information) and an Associate Professor at Telecom ParisTech. His activities focus on software engineering for real-time embedded systems, including works on component-based software engineering, architecture description languages, model transformation, code generation, real-time scheduling and formal verification.

In his research, Etienne applies and develops such techniques to improve design methods of safety-critical real-time embedded systems. The results of this work has been published in prestigious international conferences and journals. Etienne is also an active member of the SAE AADL standardization committee, and the initiator of the RAMSES framework (a model transformation, analyser and code generator for AADL).

Visit Ken's Homepage

Institutions: Newcastle University (United Kingdom)

Ken is a Lecturer in the School of Computing at Newcastle University. His main interests lie in developing methods and tools for collaborative, model-based design and engineering of cyber-physical systems (CPSs). In particular, he is interested in helping engineers from multiple disciplines collaborate effectively through co-modelling and co-simulation to achieve better performing, more resilient designs across a range of domains. Recent new collaborations include applying collaborative modelling to the built environment, working with BIM Academy in the North East, the  Centre for Systems Engineering and Innovation at Imperial College London, and the Department of Civil and Structural Engineering at Sheffield University.

Ken is associated with the AMBER group (Advanced Model-based Engineering) the CPLab (Cyber-Physical Systems lab). He received his BSc (Hons) in Computer Science (Software Engineering) from Newcastle University in 2005 and studied for his PhD under the supervision of Prof. Cliff Jones. His thesis, titled "Enhancing the Usability of Rely-Guarantee Conditions for Atomicity Refinement", was published in December 2009. He participated in the successful FP7 projects DESTECS and COMPASS between 2010 and 2014 and currently works on two H2020 ICT-1 projects: INTO-CPS, a research project that is building a tool chain for CPS design; and CPSE Labs, an innovation project that forms a network of CPS “design centres” across Europe and provides cascading funding for focused experiments in CPS design.

Visit Carl's Homepage

Institutions: Newcastle University (United Kingdom)

Carl has been a Research Associate in the School of Computing Science for 10 years and his main research area is the co-modelling and co-simulation of Cyber-Physical Systems.  In the recently completed INTO-CPS (EU, H2020) project, he developed methods and tools supporting Design Space Exploration (DSE) and requirements traceability.   This work followed on from his development of both DSE and fault modelling methods in the DESTECS (EU, FP7) project and the DSE work in the MERLIN rail (EU, FP7) project.

Carl also has interests in the area of data provenance and dependability, having helped develop tooling for the abstraction of provenance meta-data in the DaISy (MOD) project and a tool for experimenting with the use of dependability meta-data in the SSEI (MOD) project.

Carl also has interests in the area of data provenance and dependability, having helped develop tooling for the abstraction of provenance meta-data in the DaISy (MOD) project and a tool for experimenting with the use of dependability meta-data in the SSEI (MOD) project.

Carl is currently continuing development of DSE and requirements traceability tools and methods as part of the INTO-CPS association and is also working with the SIEMENS MindSphere Innovation Network to develop the MindSphere Lab, developing and promoting the use if IoT, the cloud and data analytics.  This is alongside the development of Newcastle University's own Cyber-Physical Lab.

Visit Joachim's Homepage

Institution: University of Antwerp (Belgium)

Short Bio

Dr. Denil is an assistant professor in the Electronic Engineering departement at the University of Antwerp (Belgium). He is part of the Constrained Systems lab and the MSDL lab. He is also the core lab manager of the University of Antwerp for Flanders Make.

Joachim received his Ph.D. in computer science and his B.Sc. and M.Sc. in Electronics from the university of Antwerp. He received his B.Sc. in computer Science from the Free University of Brussels. Joachim also pursued post-doctoral research at McGill University on the Canada-wide NECSIS project. His main research interest is the design of software-intensive and cyber-physical systems, in particular multi-paradigm modelling, embedded system design, simulation-based design, etc.