This paper presents a preliminary system architecture of integrating OMNeT++ into the mosaik co-simulation framework. This will enable realistic simulation of communication network protocols and services for smart grid scenarios and on the other side, further development of communication protocols for smart grid applications. Thus, by integrating OMNeT++ and mosaik, both communities will be abl...

This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on the construction and analysis by co-simulation of formal models that combine discrete-event specifications of computer-based controllers with continuous-time models of the environment with which they interact. Basic con...

From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems

Co-simulation is a key tool in the design and operation of a growing number of complex cyber-systems. But efficiently yet accurately combining continuous time components (such as FMUs) with event-based ones can be challenging, both from a modeling perspective and an operational, tools-oriented one. We propose a platform to tackle this problem building up on MECSYCO, a MAS-based DEVS wrapping pl...

This paper presents hardware/software co-simulation and discusses its suitability in the development of realtime systems. Due to the facts that time-to-market challenge has increased the need for shortening the development process, new techniques and methodologies are introduced. A fashionable technique is to use cosimulation environments in the verification phase of a design process. As this t...

With the rising complexity of electronic systems, containing more and more both hardware and software parts, it becomes necessary to simulate simultaneously hardware and software parts at whatever abstraction level. These simulation techniques, called co-simulation, require fast and flexible simulators. In this paper, we introduce the elaboration of a microcontroller simulator including the cor...

The Functional Mockup Interface (FMI) is a tool independent standard for the exchange of dynamic models and for co-simulation. The development of FMI was initiated and organized by Daimler AG within the ITEA2 project MODELISAR. The primary goal is to support the exchange of simulation models between suppliers and OEMs even if a large variety of different tools are used. The FMI was developed in...

This paper aims to illustrate the usability and benefits of recent developments in co-simulation of building systems by means of several case studies. Co-simulation enables the reuse of models developed in separate simulation tools as well as integration of generic solvers into the computational building performance simulation domain. This in turn facilitates rapid prototype modeling of new and...

Many co-simulation techniques either suuer from poor performance when simulating communications intensive systems, or represent communications with uniformly low detail. This paper presents a technique which represents communication at multiple detail levels and gives a designer the ability to dynamically choose the appropriate level for diierent parts of the system. This paper also presents a ...