Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners

Model Continuity in Discrete Event Simulation: A Framework for Model-Driven Development of Simulation Models.

Most of the well known modeling and simulation methodologies state the importance of conceptual modeling in simulation studies and they suggest the use of conceptual models during the simulation model development process. However, only a limited number of methodologies refers to howto move from a conceptual model to an executable simulation model. Besides, existing modeling and simulation methodologies do not typically provide a formal method for model transformations between the models in different stages of the development process. Hence, in the current M&S practice, model continuity is usually not fulfilled. In this article, a model driven development framework for modeling and simulation is in order to bridge the gap between different stages of a simulation study and to obtain model continuity. The applicability of the framework is illustrated with a prototype modeling environment and a case study in the discrete event simulation domain

Integrating AADL and FMI to Extend Virtual Integration Capability

Virtual Integration Capability is paramount to perform early validation of Cyber Physical Systems. The objective is to guide the systems engineer so as to ensure that the system under design meets multiple criteria through high-fidelity simulation. In this paper, we present an integration scheme that leverages the FMI (Functional Mock-Up interface) standard and the AADL architecture description language. Their combination allows for validation of systems combining embedded platform captured by the AADL, and FMI components that represent physical elements, either mechanical parts, or the environment. We present one approach, and demonstrator case studies

Modelling and simulation of water distribution systems with quantised state system methods

The work in this paper describes a study of quantised state systems in order to formulate a new framework within which water distribution systems can be modelled and simulated. In contrast to the classic time-slicing simulators, depending on the numerical integration algorithms, the quantisation of system states would allow accounting for the iscontinuities exhibited by control elements in a more efficient manner, and thereby, offer a significant increase in speed of the simulation of water network models.The proposed approach is evaluated on a case study and compared against the results obtained from the Epanet2 simulator and OpenModelica

An optimization-based approach to automated design

We propose a model-based, automated, bottom-up approach for design, which is applicable to various physical domains, but in this work we focus on the electrical domain. This bottom-up approach is based on a meta-topology in which each link is described by a universal component that can be instantiated as basic components (e.g., resistors, capacitors) or combinations of basic components via discrete switches. To address the combinatorial explosion often present in mixed-integer optimization problems, we present two algorithms. In the first algorithm, we convert the discrete switches into continuous switches that are physically realizable and formulate a parameter optimization problem that learns the component and switch parameters while inducing design sparsity through an $L_1$ regularization term. The second algorithm uses a genetic-like approach with selection and mutation steps guided by ranking of requirements costs, combined with continuous optimization for generating optimal parameters. We improve the time complexity of the optimization problem in both algorithms by reconstructing the model when components become redundant and by simplifying topologies through collapsing components and removing disconnected ones. To demonstrate the efficacy of these algorithms, we apply them to the design of various electrical circuits

MECSYCO: a Multi-agent DEVS Wrapping Platform for the Co-simulation of Complex Systems

Most modeling and simulation (M&S) questions about complex systems require to take simultaneously account of several points of view. Phenomena evolving at different scales and at different levels of resolution have to be considered. Moreover, expert skills belonging to different scientific fields are needed. The challenges are then to reconcile these heterogeneous points of view, and to integrate each domain tools (formalisms and simulation software) within the rigorous framework of the M&S process. To answer to this issue, we propose here the specifications of the MECSYCO co-simulation middleware. MECSYCO relies on the universality of the DEVS formalism in order to integrate models written in different formalism. This integration is based on a wrapping strategy in order to make models implemented in different simulation software inter-operable. The middleware performs the co-simulation in a parallel, decentralized and distributable fashion thanks to its modular multi-agent architecture. We detail how MECSYCO perform hybrid co-simulations by integrating in a generic way already implemented continuous models thanks to the FMI standard, the DEV&DESS formalism and the QSS method. The DEVS wrapping of FMI that we propose is not restricted to MECSYCO but can be performed in any DEVS-based platform. We show the modularity and the genericity of our approach through an iterative smart heating system M&S. Compared to other works in the literature, our proposition is generic thanks to the strong foundation of DEVS and the unifying features of the FMI standard, while being fully specified from the concepts to their implementations

Multi-agent Multi-Model Simulation of Smart Grids in the MS4SG Project

International audienceThis paper illustrates how the multi-agent approach, or paradigm, can help in the modeling and the simulation of smart grids in the context ofMS4SG (a joint project between LORIA-INRIA and EDF R&D). Smart grids simulations need to integrate together pre-existing and heterogeneous models and their simulation software; for example modeling tools of the power grids, of telecommunication networks, and of the information and decision systems. This paper describes the use of MECSYCO as a valid approach to integrate these heterogeneous models in a multi-agent smart grid simulation platform. Several use cases show the ability of MECSYCO to effectively take into account the requirements of smart grids simulation in MS4SG