News

October 2011: the european project SMAC starts and EDALab is one of the partners. The kick-off meeting is scheduled in Catania (IT) the 18th of October.

September 2011: EDALab presents the eCos embedded OS on ARM platform the next 28 September at the event organized by Atmel and MSC, in cooperation with Metodo 2

September 2011: HIFSuite and radCHECK discussed during the Panel on "Assertions Propagation, Refinement and Reuse across Abstraction Levels and Description Languages" FDL'11

June 2011: EDALab will present with STM Products radCHECK and HIFSuite at the Design Automation Conference 2011 in San Diego (CA). Our booth number in the exhibition area is 1920. Come and visit us !
HSN
Print E-mail

HSN for Hardware/Software/Network co-simulation

The design and verification of embedded systems requires the integrated simulation of different components belonging to different simulation domains (i.e., software, hardware, network and dynamic systems);
this fact leads to the concept of Hardware/Software/Network co-simulation which is the focus of our tool named HSN.

Concerning SW simulation, HSN uses two Instruction-Set Simulators, the well-known QEMU and uCSim for the wireless sensor network CC2430 platform by Texas Instruments.

Concerning the simulation of HW components, HSN uses SystemC a standard language and simulation environment that reproduces the behavior of concurrent HW and SW systems.

Concerning the simulation of the Network, HSN uses the SystemC Network Simulation Library (SCNSL) (http://scnsl.sourceforge.net/projects/scnsl/) which is an open source library aimed at extending the SystemC simulation capabilities to network components such as packets, links and wireless channels.

Concerning the simulation of dynamic systems, HSN is tightly integrated with MATLAB/Simulink, a well-known environment for designing control, supervisory, and mode logic based on the modeling of differential equations, input/output relationships and state evolution.