The design of embedded platforms for connected objects (smartphones and beyond) is made harder because such systems must satisfy stringent constraint beyond functional correctness and accuracy. Namely, extra-functional requirements such as performance, power consumption and thermal dissipation are equally important, while there are important trade-offs between them. In the recent years so-calle...

Military services have an active interest in the use of unmanned aerial vehicles (UAVs) for applications including surveillance and unmanned combat. In the future, UAV swarms will be able to gather intelligence cooperatively without human intervention. Since the physical employment of UAV swarm technology is not yet economical, simulation is often used to explore their design. This paper discus...

The MODUS project aims to provide a pragmatic and viable solution that will allow SMEs to substantially improve their positioning in the embedded-systems development market. The MODUS tool will provide a model verification and Hardware/Software co‐simulation tool (TRIAL) and a performance optimisation and customisable source‐code generation tool (TUNE). The concept is depicted in automated mode...

We in this paper propose a software TransactionLevel Modeling (TLM) approach to co-simulate HW/SW efficiently. To keep the concurrency in the simulated system, timing synchronization should be considered carefully in HW/SW co-simulation between hardware and software simulations. Nevertheless, improper timing synchronization leads to either poor simulation performance or inaccurate simulation re...

Wireless and mobile experiments in the real world are not easily or accurately repeatable, reducing the use of such experiments for validation. Most challenges are due to the complications and subtleties of physical movement and wireless propagation, making the system highly variable. Moreover, mobile and distributed applications are characterized by decentralized goals and control, with high l...

Simulation of Cyber-Physical Systems (CPS) can be quite complex due to heterogeneity of their components and their interactions, which include physical phenomena, levels of abstraction used in modelling the physical and computational structures and processes, and engineering approaches to CPS design and analysis. The concept of system-of-systems (SoS) to designate complex integrated CPS infrast...

We are interested in the modeling and simulation of the IP networks as the communication layer for smart grids. In this context, a network can involve many different technologies, and the available models corresponding to these technologies may be implemented in different simulation software. As a result, thanks to their own models libraries, different IP network simulators can be complementary...

A framework for meta-modelling with Transmission Line (TLM) joints is presented. The framework is intended to support transient simulations of mechanical systems using co-simulation of different tools. The expressive power of the Modelica language is used to describe the meta-model in an easy to understand, object oriented way. A ModelicaXML based translator is used to convert Modelica code to ...

Since the FMI technology gains ground in industrial environment, the demand for robust co-simulation increases. In a master-slave concept the master algorithms define the quality of a co-simulation whereas the properties of the coupled FMUs for co-simulation restrict the variety of possible master algorithms. In this paper an existing experimental master tool with three basic master algorithms ...

initialisation (ai) concrete initialisation (ci) abstract operation (co) concrete operation (co) abstract finalisation (af) concrete finalisation (cf) abstract operation (ao) concrete operation (co) R R R R (a) Data refinement simulation ao