Today's embedded systems include more and more network capabilities. Verifying these capabilities via simulation is difficult because it is often required to have the simulation models interact with real networks. For instance, the validation of a network device requires its connection with the model of a real network and testing of its interaction with the surrounding blocks and used protocols. This paper explores a methodology for modeling, simulating and testing the functionality of an embedded system, and its interaction with a network. The 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 proposed modeling and simulation methodology has been applied to two case studies: the design of a network device and the verification of two cooperating embedded systems.

Modeling Network Embedded Systems with NS-2 and SystemC

DRAGO, Nicola;FUMMI, Franco;PONCINO, Massimo
2002

Abstract

Today's embedded systems include more and more network capabilities. Verifying these capabilities via simulation is difficult because it is often required to have the simulation models interact with real networks. For instance, the validation of a network device requires its connection with the model of a real network and testing of its interaction with the surrounding blocks and used protocols. This paper explores a methodology for modeling, simulating and testing the functionality of an embedded system, and its interaction with a network. The 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 proposed modeling and simulation methodology has been applied to two case studies: the design of a network device and the verification of two cooperating embedded systems.
5742202601
Networked embedded systems; simulation; Cosimulation
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/16344
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact