To validate an embedded network device it is important to insert it in a model of a real system and test its interaction with the surrounding blocks and used protocols. The proposed methodology joins two simulation environments, both based on the C++ programming language. The first (SystemC) is both a hardware definition language and a simulation library designed to model and simulate hardware and software systems:. The second (Network Simulator 2) is both a network definition language and a simulation tool designed to model and simulate network topologies. The aim of the paper concerns the analysis of the efficient integration of the two modeling/simulation environments. The proposed methodology; joining together SystemC and Network Simula...
. The development of network protocols, especially if designed for use in very large scale networks,...
Design of distributed embedded systems is a challenging task and it requires to raise the level of a...
International audienceThis paper aims at presenting an approach to validate, verify and debug a wire...
Today's embedded systems include more and more network capabilities. Verifying these capabilities vi...
Next-generation networked embedded systems pose new challenges in the design and simulation domains....
The design and simulation of next-generation networked embedded systems are a challenging task since...
Verification and design-space exploration of today's embedded systems require the simulation of hete...
This paper addresses the problem of modeling and simulating large set of heterogeneous networked emb...
The design of state-of-the-art, complex embedded system requires the capability of modeling and simu...
Several embedded system applications are used to control physical processes thus leading to the conc...
In this paper, we propose a technique for verification of the functionality of a hardware networking...
The structure and the functionalities of a device driver are strongly influenced by the target platf...
International audienceThe paper focuses on techniques for the verification of software implementing ...
Several embedded system applications are used to control physical processes. Sensing, computation an...
The paper focuses on techniques for the verification of software implementing communication function...
. The development of network protocols, especially if designed for use in very large scale networks,...
Design of distributed embedded systems is a challenging task and it requires to raise the level of a...
International audienceThis paper aims at presenting an approach to validate, verify and debug a wire...
Today's embedded systems include more and more network capabilities. Verifying these capabilities vi...
Next-generation networked embedded systems pose new challenges in the design and simulation domains....
The design and simulation of next-generation networked embedded systems are a challenging task since...
Verification and design-space exploration of today's embedded systems require the simulation of hete...
This paper addresses the problem of modeling and simulating large set of heterogeneous networked emb...
The design of state-of-the-art, complex embedded system requires the capability of modeling and simu...
Several embedded system applications are used to control physical processes thus leading to the conc...
In this paper, we propose a technique for verification of the functionality of a hardware networking...
The structure and the functionalities of a device driver are strongly influenced by the target platf...
International audienceThe paper focuses on techniques for the verification of software implementing ...
Several embedded system applications are used to control physical processes. Sensing, computation an...
The paper focuses on techniques for the verification of software implementing communication function...
. The development of network protocols, especially if designed for use in very large scale networks,...
Design of distributed embedded systems is a challenging task and it requires to raise the level of a...
International audienceThis paper aims at presenting an approach to validate, verify and debug a wire...