Abstract:In the modelling of Cyber-Physical Systems (CPSs), there are different possible routes that can be followed to gradually achieve a collection of constituent models that can be co-simulated with a high level of accuracy. This paper demonstrates a methodology which initially develops all constituent models at a high level of abstraction with discreteevent models expressed using the Vienna Development Method (VDM). Subsequently, a number of these are refined (without changing the interfaces) by more detailed models expressed in different formalisms, and using tools that can export Functional Mock-up Units (FMUs) for co-simulation through the Functional Mock-up Interface (FMI) standard. The development team of each of these more detailed models can then experiment with the interactions with all the other constituent models, using the high-level discrete-event versions until higher-fidelity alternatives are ready. The results reported in this paper were obtained in an innovation experiment within the EU CPSE Labs research project, part of Smart Anything Everywhere initiative.
This paper demonstrates the flexible methodology of modelling Cyber-Physical Systems (CPSs) using the INTO-CPS technology through co-simulation based on Functional Mock-up Units (FMUs). It explores a novel method with two main co-simulation phases: homogeneous and heterogeneous. In the first phase, high-level, abstract FMUs are produced for all subsystems using a single discrete-event formalism (the VDM-RT language and Overture tool). This approach permits early co-simulation of system-level behaviours and serves as a basis for dialogue between subsystem teams and agreement on interfaces. During the second phase, model refinements of subsystems are gradually introduced, using various simulation tools capable of exporting FMUs. This heterogeneous phase permits high-fidelity models of all subsystems to be produced in appropriate formalisms. This paper describes the use of this methodology to develop a USB stick production line, representing a smart system of systems. The experiments are performed under the assumption that the orders are received in a Gaussian or Uniform distribution. The focus is on the homogeneous co-simulation phase, for which the method demonstrates two important roles: first, the homogeneous phase identifies the right interaction protocols (signals) among the various subsystems, and second, the conceptual (system-level) parameters identified before the heterogeneous co-simulation phase reduces the huge size of the design space and creates stable constraints, later reflected in the physical implementation.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.