Full System Simulation within the FORMES project at LIAMA Time: 2:30 pm, 2009-9-14 This talk consists of two parts: The first part will describe the new FORMES (Formal Methods for Embedded Systems) project, an international cooperation project between INRIA (France) and China universities about embedded systems validation, located at Tsinghua University, combining simulation techniques with formal methods verification. The second part of the talk will focus on full system simulation. Full system simulation of an embedded system means complete simulation of an embedded system hardware platform. The goal of full system simulation is primarily the validation the embedded application software but it can also be used for virtual prototyping of new hardware architectures. Full system simulation requires high speed simulation techniques such that running the application software can be achieved with reasonable performance. The talk will describe the general techniques used in full system simulation and more specifically the technique used in the FORMES project. The talk will introduce the basic concepts of Transaction Level Modeling, provide a brief overview of the SystemC technology, and describe the on-going research. Dr. Vania Joloboff is Research Director at LIAMA, Beijing, working in the FORMES research collaborative project between INRIA and Chinese Universities, located at Tsinghua, focused on the development of embedded systems simulation software.
|
| 今天是： |
