A common situation in industry is that a system model (here a composite model) is composed of several submodels which may have been developed using different tools. FMI is one important technology for exporting/importing models between tools and/or connecting them via co-simulation. TLM based modeling and co-simulation is another important technique for modeling, connecting, and simulation of e...

This paper presents two different aspects considering a co-simulation of smart grid scenarios. First considers representing the control strategy in a separate discrete event simulation developed in a multi-agent platform. This study investigates the design and implementation of such a simulator. Special attention is given to timing issues presenting time variant and time invariant models. The s...

This paper deals with an interoperability solution based on co-simulation that ensures tools collaborative working for building’s global simulation. The proposed solution couples two specialized tools from different domains and characterized by different modelling approaches in order to simulate a low energy building. A dynamic thermal envelope model in SIMULINK is coupled to a multi-agent base...

Cyber-physical systems (CPSs) are often treated modularly to tackle both complexity and heterogeneity; and their validation may be done modularly by co-simulation: the coupling of the individual subsystem simulations. This modular approach underlies the FMI standard. This paper presents an approach to verify both healthiness and wellformedness of an architectural design, expressed using a profi...

Complex systems have to decomposed into sub-systems which are developed by specialized teams. Modeling and simulation techniques help each team achieve a locally optimal solution but they fail to help all teams achieve a globally optimal solution. This is due to each team having its own models made in its own tools, and external suppliers having intellectual property. The result is that it is d...

Rapid robotic system development sets a demand for multi-disciplinary methods and tools to explore and compare design alternatives. In this paper, we present collaborative modelling that combines discrete-event models of controller software with continuous-time models of physical robot components. The presented co-modelling method utilized VDM for discrete-event and 20-sim for continuous-time m...

In this chapter, we consider the problem of system-level design where subsystems are diverse. As a concrete example, consider an embedded system with the architecture shown in figure 1 (after [5]). The subsystems are implemented in both hardware and software, making this architecture a suitable candidate for hardware/software co-design. But even within the software portions, there is diversity....

We describe an environment supporting concurrent hardware and software engineering for high performance systems. In place of a conventional bread-boarded prototype, we used distributed communicating processes to allow software and simulated hardware to interact. We extended the Cadence Verilog-XL simulator to enable software debugging and testing using hardware simulation. The environment was p...

This article presents an approach to simulating hybrid systems. We show how a discrete controller that controls a continuous environment can be co-simulated with the environment (plant) using C-code generated automatically from mathematical models. This approach uses Signal with Simulink to model complex hybrid systems. The choices are motivated by the fact that Signal is a powerful tool for mo...

Embedded electronic systems are composed of a mixture of software and hardware, both digital and analog, which may interact with mechanical parts and physical processes. Different languages and computation models are usually employed for each of these design domains, so that co-simulation facilities are needed to validate designs. This paper describes co-simulation of embedded electronic system...