Frederic Risacher

Learn More
Electrical Impedance Tomography (EIT) is an imaging technique based on multiple impedance measurements using electronically multiplexed surface electrodes. The present study describes an EIT prototype tomograph which uses two frequencies of applied signal: 31.25 kHz (within the frequency range originally used in early EIT studies) and 250 kHz. The use of(More)
This paper presents automatic generation of fast and accurate timed models of streaming embedded applications, before the complete software-hardware platform is available. First, a measurement model is generated and executed, on the target processor, to predict the computation delays in the application. Next, the stochastic delays are annotated to the(More)
This paper describes a methodology for developing abstract and executable system-level model in SystemC of real-time embedded software, targeted to an RTOS. Our objective is to reuse as much of the software as possible to minimize model development time. Therefore, we design a RTOS emulation layer on top of the SystemC kernel. The application software is(More)
  • 1