Conférences invitées

Modular Design of Hybrid Simulation Languages by Hans Vangheluwe

The engineering of a complex Cyber-Physical System (CPS) commonly involves the creation and subsequent simulation of hybrid models. Such models are not expressible in a single existing formalism but rather require a carefully crafted hybrid modelling language, based on a combination/coordination of the consituent languages.
Modular language engineering is thus essential for effective and efficient development of new formalisms, appropriate for a task.

In our approach, each modelling language and its experimentation environment is described using a modular representation of its syntax and simulation semantics.
A white-box technique is presented for explicitly modelling the definition and composition of these specifications.
Once the semantics of the hybrid language is well-understood, the composition specification can be used to synthesize a co-simulation "master" coordination algorithm.

When the combination/coordination/orchestration of the invididual languages' semantics is explicitly modelled, in an appropriate formalism (Timed Automata in our case), analysis of properties (e.g., through model checking) of the constructed hybrid language becomes possible.

The approach is demonstrated by creating a few hybrid languages through composition of simple building block languages such as Timed Finite State Automata (TFSA).
The automated analysis of language properties such as legitimacy and determinism using the tool UPPAAL will be demonstrated.

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, and an Adjunct Professor in the School of Computer Science at McGill University, Montreal, Canada.  AnSyMo is an Associated Lab of Flanders Make, the strategic research centre for the Flemish manufacturing industry.
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 waste water treatment and automotive software.
He is the chair of the EU COST Action IC1404 Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS).

 


 

The Discipline of Modeling and Simulation by Dr. Diallo

Modeling and Simulation (M&S) is emerging as a discipline that is increasingly being applied beyond the field of engineering. In fact, a variety of domains ranging from healthcare to the social sciences and the humanities are now adapting M&S as a viable method of scientific inquiry.  In this presentation, we make the case that M&S is in fact its own discipline and present fundamental problems that belong specifically to the M&S domain. We present an overview of M&S thinking along with practical real word examples and discuss how M&S approaches can be applied in different context. Our main objective is to demonstrate that theories, methods and techniques used in M&S are generally applicable to other domains.

Dr. Diallo has studied the concepts of interoperability of simulations and composability of models for the last ten years. He is VMASC's lead researcher in Modeling and Simulation Science where he focuses on applying Modeling and Simulation as part of multidisciplinary teams to study social phenomena, religion and culture. Dr. Diallo is also involved in developing cloud based simulation engines and User Interfaces to promote the use of simulation outside of the traditional engineering fields.

Dr. Diallo graduated with a M.S. in Engineering in 2006 and a Ph.D. in Modeling and Simulation in 2010 both from Old Dominion University. He is the Vice President in charge of conferences and a member of the Board of Directors for the Society for Modeling and Simulation International (SCS). Dr. Diallo has over one hundred publications in peer-reviewed conferences, journals and books chapters.


 

A Framework to Holistic Modeling & Simulation of Healthcare Systems by Mamadou K Traoré

(Work done in collaboration with Bernard Zeigler, Raphael Duboz, Gregory Zacharewicz)

In this presentation, we introduce a modeling and simulation methodology to support a holistic analysis of healthcare systems through a stratification of the levels of abstraction into multiple perspectives and their integration in a common simulation framework. In each of the perspectives, models of different components of healthcare system can be developed and coupled together. Concerns from other perspectives are abstracted as parameters (i.e., translation of assumptions and simplifications) in such models. Consequently, the resulting top model within each perspective can be coupled with its experimental frame to run simulations and derive results. Components of the various perspectives are integrated to provide a holistic view of the healthcare problem and system under study. The resulting global model can be coupled with a holistic experimental frame to derive results that couldn’t be accurately addressed in any of the perspective taken alone.

Mamadou K Traoré received his BSc in Mathematics (1987), MSc in Computer Science (1989) and PhD in Computer Science (1992) from Blaise Pascal University (Clermont-Ferrand – France). His current research, within the LIMOS CNRS UMR 6158 (Laboratoire d’Informatique, de Modélisation et d’Optimisation des Systèmes), is on formal specifications, symbolic manipulation and automated code synthesis of simulation models, with an emphasis on DEVS. He is also adjunct Professor at the African University of Science and Technology (AUST, Abuja, Nigeria).