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


Automobiles are getting smarter everyday with the integration of software controlled embedded features that address a wide variety of requirements, ranging from driver assistance, safety, comfort and infotainment. These features are powered by thousands of lines of carefully crafted software which execute on a complex compute backbone consisting of scores of processors communicating through kilometers of cabling. The task of designing smart features and integrating them into the automotive fabric is becoming increasingly complex and a verification nightmare.

The goal of this workshop is twofold. The first is to elucidate the complex issues that have to be dealt with in the design and verification practices of automotive control software. Specifically, the workshop will discuss the problem of managing timing, which is a crucial aspect determining the stability and performance of a control system. The second goal of this workshop is to look into the future and predict the forthcoming challenges in building safe, adaptive, responsive and reliable automotive features. There are formidable research challenges which must be meaningfully addressed by the industry and academia.

AUTOSAFE is an Indo-German initiative between four partner institutions, namely, Technical University of Munich, Indian Institute of Technology Kharagpur, Tata Research Development and Design Center, and Inchron GmbH. The goal of this initiative is to develop design automation tools and technology for analysis and verification of real time artefacts in the design of automotive embedded control systems. The AUTOSAFE initiative has been germinated under the joint support of BMBF, Germany and IGSTC, India.

The workshop will feature talks by AUTOSAFE partners, visionary directives from industrial delegates, technology demonstrations by students of IIT Kharagpur, and interactive sessions for developing future partnerships on automotive systems and software.

Organized by:

Dr. Pallab Dasgupta, Professor
Dr. Soumyajit Dey, Assistant Professor
Members of Formal Methods Research Group
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India 721302