as1

AUTOSAFE WORKSHOP: Design of High Assurance Automotive Control       |       Date: December 19, 2015       |       Venue: Gargi Auditorium, Vikramshila Complex, Indian Institute of Technology Kharagpur, INDIA 721302

Slide 1 Slide 2 Slide 4 Slide 6 Slide 7

WORKSHOP SCHEDULE

7:30 - 8:00 EARLY REGISTRATION
(All students must register at this time)
8:00 - 9:00

 A Primer on Automotive Software Design Practices
 (Preparatory session)

 Prof. Samarjit Chakroborty & Prof. Pallab Dasgupta
 (TU Munich & IIT Kharagpur)


9:00 - 9:20 REGISTRATION AND TEA BREAK
9:20 - 9:30

 AUTOSAFE Workshop Inauguration
 Opening Remarks                    :     Prof P P Chakrabarti, Director, IIT Kharagpur
 AUTOSAFE, the inspiration      :     Dr A Chakraborty, Director, Indo-German Science and Technology
                                                       Center (IGSTC)

 9:30 - 11:40

AUTOSAFE SESSION

 Control- Architecture co-design

 Prof. Samarjit Chakroborty
 (TU Munich, Germany)

 The AUTOSAFE Methodology

 Dr. Soumyajit Dey
 (IIT Kharagpur)

 Predictable Implementation of Embedded Controllers

 Prof. Dip Goswami
 (TU Eindhoven, Netherlands)

 A scalable model checking based approach to WCET
 estimation

 Mr. Ravi Metta
 Tata Research Development and Design Centre
 (TRDDC), Pune

11:40 - 12:00 TEA BREAK & POSTER SESSION
12:00 – 12:30

  Practice and challenges for implementation of High
  Assurance Automotive Embedded System

 Mr. Prasanta Sarkar
 AGM, Advanced Engineering,
 Engineering Research Centre,
 Tata Motors,Pune

 12:30 – 13:00

 Challenges in building Safety Critical Systems

 Mr. Mohd Imran Khan
 Manager, xEV Systems
 Maruti Suzuki India Limited, Gurgaon

 13:30 – 13:30

 Software and its impact on the future of the Automotive

 Mr Sirish Batchu
 Head - Infotronics Technology & Advanced
 Electronics Automotive & Farm Sectors
 Mahindra Research Valley, Chennai

13:30 - 14:30 LUNCH AT VIKRAMSHILA FOYER
14:30 - 15:30

 The AUTOSAFE Vision: Towards a safe and
 integrated design paradigm for automotive control
 (INTERACTIVE SESSION)

 Chaired by:
 Prof. Partha Pratim Chakrabarti
 (Director, IIT Kharagpur)

15:30 - 16:00

 Verification Challenges and Solutions - An Industry
 Experience

 Mr. R. Venkatesh
 Tata Research Development and Design Centre
 (TRDDC), Pune

16:00 - 16:30

 TEA BREAK AND
 Demonstrations by Autonomous  Bicycle group at
 Vikramshila Foyer

  Ayush Pandey
  Subhamoy Mahajan
  Adarsh Kosta
  Dhananjay Yadav

16:30 - 16:50

 Autonomous Ground Vehicle Project

  Ayush Pandey
  Arna Ghosh
  Shivam Vats
  Atal Ashutosh Agarwal

16:50 - 17:10

 Autonomous Underwater Vehicle Project

  Maitrai Maka
  Kshitij Goel
  Aniket Bhushan
  K Pranai Kumar

DINNER AT VIKRAMSHILA FOYER (19:30 onwards)