We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using aļ¬...
Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a signiļ¬cant reduction of design cycle...
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
Juanjo Noguera, Luis Baldez, Narcis Simon, Lluis A...
āThis paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...