Research Projects

Embedded Systems Laboratory
Department of Computer Science and Information Engineering
National Chung Cheng University, Chiayi, Taiwan.

We are currently conducting research projects mainly in embedded systems design and verification. The research project topics include the architecture and operating system design of Dynamically Reconfigurable Systems, the adaptive learning framework for Cognitive Radio, the design of a framework for multicore embedded software development (VERTAF/Multicore), the learning-based assume-guarantee synthesis of formal models, and the operating system design for a native SIMD processor, namely PLX.

Collaborations are welcome. Suggestions and comments are even more welcome! Please write to (Pao-Ann Hsiung).

Current Research Projects

  1. " Design and Implementation of an Operating System for Reconfigurable Systems,"
    • 3 Year NSC Project Grant,
    • August 2006 - July 2009.
  2. " Learning Framework for Cognitive Radio,"
    • 3 Year NSC Project Grant,
    • November 2007 - October 2010.
    • Collaboration with
      • University of Wisconsin, Madison,
      • National Taiwan University,
      • National Taiwan Ocean University, and
      • National I-Lan University.
  3. ":VERTAF/Multicore: A Framework for Multicore Embedded Software Development,"
    • 1 Year NSC Project Grant,
    • August 2008 - July 2009.
    • Collaboration with
      • Tung-Hai University,
      • Feng-Chia University,
      • National Taichung University of Education, and
      • Hsiuping Institute of Technology.
  4. " Formal verification techniques," including:
    1. Learning-based assume-guarantee synthesis for DFA models,
    2. Assume-guarantee verification of reconfigurable systemsm,
    3. Model checking timed systems with priorities, and
    4. Model checking urgent timed systems.
  5. " Operating System Design for PLX (a native SIMD processor),"
    • 1 Year NSC Project Grant (August 2005 - July 2006)
    • August 2005 - July 2008.
    • Collaboration with
      • National Taiwan University,
      • Princeton University, and
      • University of Wisconsin, Madison.

Past Research Projects

Last Updated: July 29, 2008. [an error occurred while processing this directive]