Home      Log In      Contacts      FAQs      INSTICC Portal

Keynote Lectures

Co-simulation: A Research Agenda
Hans Vangheluwe, University of Antwerp, Belgium

Model-based Approaches for Interoperability of Next Generation Organization Information Systems: State of the Art and Future Challenges
Gregory Zacharewicz, IMT - Mines Ales, France

Simulation Modeling in Medicine: From Training to a Clinical Surgical Setting
Jerzy W. Rozenblit, University of Arizona, United States


Co-simulation: A Research Agenda

Hans Vangheluwe
University of Antwerp

Brief Bio

Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Department of Mathematics and Computer Science at the University of Antwerp in Belgium, where he is a founding member of the NEXOR Consortium on Cyber-Physical Systems (CPS). AnSyMo is a Core Research Lab of Flanders Make, the strategic research centre for the Flemish manufacturing industry.
He heads the Modelling, Simulation and Design Lab (MSDL), distributed over the University of Antwerp and McGill University in Montreal, Canada.
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, safe automotive software, and autonomic production plants in the context of Industry 4.0. His fundamental work covers the foundations of modelling and simulation, of model management, model transformation, and domain-specific (visual) modelling environments. This work is always accompanied by pro totype tools such as PythonPDEVS, the Modelverse, T-Core, $AToM^3$ and AToMPM.
In the mid '90s, he was one of the original members of the a-causal modelling language Modelica design team, one of the initiatives of the ESPRIT Basic Research Working Group 8467 on "simulation for the future: new concepts, tools and applications" (SiE) which he co-founded.
He has published over 200 papers in both simulation and in software modelling. He frequently gives tutorials on topics such as Statecharts, DEVS, co-simulation, modelling language engineering and a-causal modelling. He is the co-organizer, with Prof. Vasco Amaral, of Summer Schools such as Domain-Specific Modelling, Theory and Practice (DSM-TP).
He is the chair of the EU COST Action IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS).

The relationship between system integrators and their suppliers puts ever increasing demands on modelling and simulation technology.
The supplier wants (1) to evaluate, using modelling and simulation, the suitability/optimality of a single component available multiple suppliers
and (2) to perform early system integration and evaluation of multiple heterogeneous components developed by different suppliers. The evaluation may cover both functional and non-functional (e.g., safety, energy efficiency) properties. The challenge is to perform full-system evaluation while keeping supplier IP protected.

In this presentation, different alternative solutions will be investigated, with a particular focus on co-simulation. In co-simulation, suppliers share only pre-compiled components, known as Functional Mockup Units (FMUs). The FMUs hide IP, but do expose sufficient information in their API to allow for meaningful orchestrated co-simulation. The current Functional Mockup Interface (FMI) standard defines both an intra-FMU model-simulation solver interface and an extra-FMU interface between the FMU (a model/simulation solver combination) and the context in which it is used. FMUs are commonly combined using a "master" simulator which orchestrates the interleaving of the individual simulators.

An obvious challenge with pre-compiled components which expose only limited information is to guarantee overall correct simulation results. Correctness ranges from numerical stability to satisfying domain invariants (e.g., physics conservation laws). At the root of this is the need for compositionality of the components.

The presentation will further explore some research challenges: optimizing overall simulation performance by constructing optimal master algorithms; the combination of multiple modelling formalisms (in particular, continuous-discrete combinations); the inclusion of models at different levels of abstraction in a single FMU; support for dynamic-structure models, including possible changes in computational causality; the introduction of non-deterministic models, to for example model the environment in which a system operates.



Model-based Approaches for Interoperability of Next Generation Organization Information Systems: State of the Art and Future Challenges

Gregory Zacharewicz
IMT - Mines Ales

Brief Bio
Gregory Zacharewicz is Full Professor at IMT – Mines Ales (National Institute of Mines and Telecommunications) in Alès, France. He recently joined in 2018 the LGI2P lab to develop simulation driven research works. This lab works on the relationship between humans and the complex systems while keeping their roots in the field of Information Science and Technology. He was previously Associate Professor at the University of Bordeaux (2007-2018) where he focused his research for more than 10 years on Enterprise and Social Organization Modelling, Interoperability and Simulation.

More generally, his research interests include Discrete Event Modelling (e.g. DEVS, G-DEVS), Distributed Simulation, Distributed Synchronization Algorithms, HLA, FEDEP, MDA, Short lived Ontologies, ERP, BPMN, and Workflow.

He recently co-wrote with a worldwide team of authors the prospective chapter “Model-based approaches for interoperability of next generation enterprise information systems: state of the art and future challenges”.

In the domain of Healthcare methodologies and technologies, he co-wrote in 2018 with Bernard P. Zeigler, Mamadou K. Traore and Raphaël Duboz the book “Value-based Learning Healthcare Systems: Integrative modeling and simulation”.

He has been the program chair of Springsim 2016 in Pasadena, vice-general chair of SpringSim 2017 in Virginia Beach and the general chair of SpringSim 2018 in Baltimore. He is member of editorial board of Sage Simulation Journal, JSimE and SNE journals.

He is involved in several French, European and Transatlantic projects. Among them, he led for IMS the project DIAMANTR “Digital Advanced Manufacturing & Technologies Research”, (2015–2019), the project FUI SIMID “Integrated and Distributed Information System for Maintenance, Repair, and Operations (MRO)” (2010-2014) and the project RAPID DGA SICOMORES “Constructive Modeling and Simulation of the effects of Operations of influenced in social networks” (2013-2016).

Enterprise businesses are more than ever challenged by competitors that frequently refine and tailor their offers to clients. In this context, enterprise information systems (EIS) are especially important because: (1) they remain one of the last levers to increase the performance and competitiveness of the enterprise, (2) we operate in a business world where the product itself has reached a limit of performance and quality due to uniform capacity of industrial tools in a globalized economy and (3) the EIS can increase the product value thanks to additional digital services (built on data associated to the product) in order to meet and fit better client’s needs.

However, the use of EISs reaches a limit in collaborative environments because enterprises management methods diverge and EISs are mainly inflexible resource packages that are not built with an interoperability objective. Consequently, we need to make EISs interoperable in order to achieve the needed gains competitiveness and performance.

This keynote can be summarized as follows: (1) it will try to relate existing work and it examines barriers that, at the moment, are preventing further improvements due to current methodological and techno- logical limits, and (2) it will propose a conceptual framework and five challenges that model based approaches must overcome to achieve interoperability between EIS in the near and long term. (3) It will draw out how the use of simulation can support the model based approaches in the journey from concepts to technical deployment. As well, it will discuss the position of human as individual and member of social networks in this process.



Simulation Modeling in Medicine: From Training to a Clinical Surgical Setting

Jerzy Rozenblit
University of Arizona
United States

Brief Bio
Dr. Jerzy Rozenblit is a University Distinguished Professor and Raymond J. Oglethorpe Endowed Chair in the Electrical and Computer Engineering at The University of Arizona. He also holds a joint appointment as Professor of Surgery in the College of Medicine. During his tenure, he has established the Model Based Design Laboratory with major projects in design and analysis of complex, computer based systems, software engineering, and symbolic visualization, and computer guided, minimally invasive surgical training. The projects have been funded by the National Science Foundation, US Army, Siemens, Infineon Technologies, NASA and other entities. Currently, jointly with the Arizona Surgical Technology and Education Center, he is developing computer guided surgical training methods and systems. He has founded the Life Critical Computing Systems Initiative intended to improve the reliability and safety of technology in life critical applications. He is a Fellow of the Society for Computer Simulation International. 

Healthcare is changing at a very rapid pace. So does its attendant complexity and ever-increasing reliance on high technology support.  Simulation in healthcare, where sophisticated, technology-based methods are used in education of healthcare professionals and in treatment of patients, is becoming a recognized branch of knowledge and practice. Such methods require a new generation of engineers, scientists, systems designers, modelers, and physicians to integrate medical and technical domains. This talk will provide an overview of modeling and simulation technologies as applied to healthcare and more specifically, to surgical training. A historical perspective will be given, followed by the discussion of how simulation helps in gaining professional competency and how it helps improve healthcare outcomes.  A new surgical training and assessment system that provides sensing and reasoning capabilities in laparoscopy education will then be discussed. Laparoscopy is a surgical technology that can minimize recovery time and postoperative pain. However, with this procedure surgeons lose many of the tactile and visual cues that they rely upon in conventional surgery, thus it is of paramount importance that they initially train in a non-patient based setting.  The system, called CAST (Computer Aided Surgical Trainer) implements sensors, image processing, machine learning, and augmented reality techniques to provide real-time guidance and training assistance.  Future research work will focus on developing the technology as a robotic surgical assistant system for use in the operating room.