Research Assistant

Gurulingesh R. Embedded Real-Time Systems Lab
	Email: guru [AT] it.iitb.ac.in Present Address: #313, Tansa House, IIT Bombay, Powai Mumbai (INDIA) PIN: 400076 Perm. Address: "Poojyara Krupa", BDCC Bank Colony, MJ Nagar, Hospet, Karnataka (INDIA) PIN: 583203

MTech Project

• Adaptive Cruise Control: A Real-Time System Perspective (Report) (PPT) (Video-1) (Video-2)

Book Chapters

1. Gurulingesh Raravi, Krithi Ramamritham and Neera Sharma,
   Real-Time Data Services for Automotive Applications,
   in Handbook of Real-Time and Embedded Systems, Insup Lee; Joseph Y-T. Leung; Sang H. Son (ed.). Chapman & Hall/CRC Computer & Information Science Series, June, 2007. (BibTeX)
   

Conference & Workshop Papers

1. Ramesh Sethu, Vignesh Ganesan, Gurulingesh Raravi,
   A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems,
   in 2nd IEEE International Symposium on Industrial Embedded Systems - SIES'2007, July 4-6, 2007, Lisbon, Portugal. (Slides)(BibTeX)
   
2. Gurulingesh Raravi, Vipul Shingde, Krithi Ramamritham, Jatin Bharadia,
   Merge Algorithms for Intelligent Vehicles,
   in Proceedings of the Workshop on Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, Springer-Verlag, Jan 2007, Bangaore, India. (Slides) (BibTeX)
   
3. Gurulingesh Raravi, Jatin Bharadia and Krithi Ramamritham,
   Towards Intelligent Vehicles: Automatic Merge Control,
   in Workshop on Model and Analysis Methods for Automotive Systems held in conjunction with RTSS, Dec 5, 2006, Rio, Brazil. (Slides) (BibTeX)
   
4. Gurulingesh R. Goud, Neera Sharma, Krithi Ramamritham and Sachitanand Malewar,
   Efficient Real-Time Support for Automotive Applications: A Case Study,
   12th IEEE 12th IEEE International Conference on Embedded and Real-Time Computing and Applications - RTCSA'2006, Aug 16-18, 2006, Sydney, Australia. (Slides) (BibTeX)
   

Other Reports and Presentations

• Overview of Real-Time Systems and Adaptive Cruise Control at GM R&D, B'lore, India (Sept 9, 2004).
• Gurulingesh R. Formal Methods for Safety-Critical Embedded Real Time System: A case Study, Term Paper in Formal Specification and Verification of Programs course at IIT Bombay.
  
• Gurulingesh R. and Shailesh M. Birari, (Report) and (Slides) on In-Out-RED Algorithm in Quality of Service Course Project at IIT Bombay.

Research Interests

• Embedded Real Time Systems.

Interests and Activities

• WinAVR Code Snippets for ATMEGA128 and Beginner's Quick Guide
• Member of TECH-CAR
• HelpingHand and EducationProgram

top

---