Hui Chen, Ph.D. student in Computer Science

TIMA Laboratory (CNRS – Grenoble INP – UJF)
46, Av. Félix Viallet
38031 Grenoble

Email: hui dot chen at imag dot fr
Tel.: +33 (0) 4 76 57 48 09
Fax: +33 (0) 4 76 57 49 81

Open Master thesis / internship

Coming soon

Research interests

• Hardware/software co-design and co-verification
• Distributed real-time and embedded systems
• Security and reliability in operating systems
• Performance simulation of embedded software

Ongoing projects

Modeling and Synthesis of Hardware-dependent Software for Multiprocessor Systems-on-Chip (in the framework of the CATRENE SoftSoC project)

Keywords: MPSoC, Trustworthy Systems, Hardware-dependent Software, Software Synthesis
Supervisors: Prof. Frédéric Pétrot and Prof. Frédéric Rousseau

• Hui Chen, Guillaume Godet-Bar, Frédéric Rousseau and Frédéric Pétrot
  Me3D: A Model-driven Methodology Expediting Embedded Device Driver Development
  Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, RSP 2011, pages 171-177, Karlsruhe, Germany, May, 2011 [Slides]

Symbolic Hardware/Software Co-Simulation (in cooperation with NICTA): integrating driver development and testing in the hardware design and verification workflow

Supervisors: Dr. Leonid Ryzhyk and Prof. Gernot Heiser

• Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser
  Improved Device Driver Reliability Through Hardware Verification Reuse
  Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Newport Beach, CA, USA, March, 2011

Past projects

• SPINNI: A MIPS32 System-on-Chip Virtual Prototype
  Supervisors: Prof. Dr.-Ing. Ulf Schlichtmann and Prof. Dr.-Ing. Wolfgang Ecker

• CLE: Configurable Lookup Engine for the NP3 (Network Processing Prototyping Platform) Framework
  Supervisors: Dr.-Ing. Thomas Wild and Prof. Dr. sc.techn. Andreas Herkersdorf

• Design and Implementation of a GPS Receiver Based on an ARM7 Module
  Supervisor: Prof. Dr. Feng Lin

International peer-reviewed conference paper

• Hui Chen, Guillaume Godet-Bar, Frédéric Rousseau, and Frédéric Pétrot
  Me3D: A Model-driven Methodology Expediting Embedded Device Driver Development
  Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, RSP 2011, pages 171-177, Karlsruhe, Germany, May, 2011 [Slides]

Technical reports

• Hui Chen, Frédéric Rousseau, and Frédéric Pétrot
  A Novel Methodology Expediting Device Driver Development
  Internal report, TIMA Laboratory (CNRS – Grenoble INP – UJF), October, 2010

• Hui Chen, Alexandre Chagoya-Garzon, Hao Shen, Frédéric Rousseau, and Frédéric Pétrot
  Towards Automated Device Driver Synthesis for Embedded Systems
  Internal report, TIMA Laboratory (CNRS – Grenoble INP – UJF), July, 2009

Theses

• Hui Chen, Michael Velten, Thomas Steininger, Volkan Esen, Ulf Schlichtmann, and Wolfgang Ecker
  Consistent Modeling Technique for Accurate Transaction Level Models
  Master thesis, EDA-Digital, Institute for Electronic Design Automation, Technische Universität München (University of Technology, Munich), March, 2008

• Hui Chen, Pujun Zhu, and Feng Lin
  Remote Wireless Communication Based on GPS Technology
  Bachelor thesis, College of Electrical Engineering, Zhejiang University, June, 2005

Professional service

• Volunteer organizer, DATE (Design, Automation, and Test in Europe) 2011 Conference

Others

• TIMA local repository snapshot of S2E: [Full source] (as of 2011-06-16), [Patch]

Last updated February, 2012