Current topics
The following are some of the research topics of interest to us now:
Formal specification , verification and synthesis methods Timed and Hybrid Systems Compilers and Architectures for Embedded Systems Hardware Synthesis Power Aware Computing
Projects (reverse
chronologically listed)
Title: Platform-aware Timing Analysis of Behavioral System Models
Source: University Research Council (URC)
Duration: November 2007 - 2010
PI: Abhik Roychoudhury
Co-PI: Samarjit Chakraborty
Title: Modeling and Analysis of Flexray-based Time-triggered
Architectures
Source: Academic Research Fund
Duration: September 2007 - 2009
PI: Samarjit Chakraborty
Co-PI: P.S. Thiagarajan and Wong Weng Fai
Title: Designing Customizable Multi-processor Systems-on-Chips
Source: Academic Research Fund
Duration: February 2007 - January 2009
PI: Tulika Mitra
Title: Model-based approach to Integrated Timing Analysis of Embedded
Systems
Source: Academic Research Fund (ARF)
Duration: February 2007 - January 2008
PI: Samarjit Chakraborty
Co-PI: Abhik Roychoudhury
Title: EASEL Engineering Architectures and Software for the Embedded
Landscape
Source: A*STAR (under Embedded and Hybrid Systems
Programme)
Duration: March 2006 - 2009
PI: Wong Weng Fai
Co-PI: P.S. Thiagarajan, Abhik Roychoudhury, Tulika Mitra and Samarjit Chakraborty.
Title: Perception-aware Low-power Media Processing for Portable Devices
Source: University Research Council (URC),
Duration: August 2005 - 2008
PI: Wang Ye
Co-PI: Samarjit Chakraborty
Title: Stream Processing for Distributed Machine Learning and Control
Source: the InfoComm and InfoTech Initiative (ICITI) Singapore
Duration: February 2005 - 2006
PI: Tham Chen Khong (from ECE)
Co-PIs: Samarjit Chakraborty and Wong Weng-Fai
Title: Tools and Techniques for Model Based Software Debugging Link
Source: A*STAR Science and Engineering Research Council
Duration: September 2004 - August 2007
PI: Abhik Roychoudhury
Co-PI: P.S. Thiagarajan
Title: ASTRA: System-Level Design and Analysis of Architectures for Streaming Applications Link
Source: University Research Council (URC)
Duration: June 2004 to May 2007
PI: Samarjit Chakraborty
Co-PI: Wong Weng Fai
Title: Techniques to Support Timing and Power Guarantees for Embedded Code
Source: University Research Council (URC)
Duration: August 2003 - 2007
PI: Tulika Mitra
Co-PI: Abhik Roychoudhury
Title: ModNP: Models and Methods for Network Processor Design
Source: Academic Research Fund
Duration: August 2003 - July 2005
PI: Samarjit Chakraborty
Title: Efficient Design Space Exploration of Embedded Systems
Source: Multi-disciplinary research initiative for InfoComm & InfoTech Institute (ICITI), NUS
Duration: June 2003 - June 2005
PI: Abhik Roychoudhury
Co-PI: Tulika Mitra
Biman Chakraborty (Department of Statistics and Applied Probability)
Title: Formal Design Techniques for Reactive Embedded Systems Link
Source: Agency for Science, Technology and Research
Duration: February 2003 - 2006
PI: P.S. Thiagarajan
Co-PI: Abhik Roychoudhury and Dong Jin Song
Title: FLARES: FLexible ARchitecture for Embedded System Link
Source: Science and Engineering Research Council, A*Star
Duration: January 2003 - December 2005
PI: Wong Weng Fai
Co-PI: Tulika Mitra
Title: Protocols for System-on-Chip Designs
Source: Academic Research Fund
Duration: October 2001 - 2004
PI: Abhik Roychoudhury
Co-PI: P.S. Thiagarajan
Title: Selecting the Appropriate Processor for an Embedded Application
Source: The Faculty Research Committee, Academic Research Fund
Duration: April 2001 - August 2004
PI: Tulika Mitra
Other Projects:
System Support, Architectures and Algorithms for Stream Processing (jointly with Dept. of Electrical and Computer Engineering; since Aug'04, funded by the Infocomm and Infotech Initiative (ICITI), Singapore)
GAIA: Generic and Active Info-Atmosphere (jointly with Dept. of Electrical and Computer Engineering; since Aug'04, funded by the Infocomm and Infotech Initiative (ICITI), Singapore)
|