Keynote at ADCOM 2016
Title: Have I Designed What I Desired? – Intent Verification of Safety Critical Embedded Controls Software
Abstract: Modern safety critical embedded controls software has significantly evolved over the last decade requiring handling of features related to reactive response, hybrid modes, real-time performance and fault tolerance. Early stage design, analysis and verification of such embedded systems have gained enormous significance because of the increasing complexity of the problem and the need to not only determine functionality but also timing, power and reliability at the specification level. Over the last few years, new formal approaches have evolved which enable performing complex analysis tasks at very early phases of design where the specification or intent is being determined. The talk will present an overall architecture for specification and verification of such safety critical software specifications and recently developed methods for formal analysis of the same to obtain initial ‘golden’ models which can be used for the next stages of design implementation. These include formal methods for functional, timing, power and reliability analysis and highlight mathematical tools that can perform analysis of coverage, completeness, realizability and integration at specification level. The talk will also present issues and challenges related to achieving the holy grail of ‘correct by construction’ design of embedded software in the age of increasing complexity.
PARTHA PRATIM CHAKRABARTI, currently Director Indian Institute of Technology Kharagpur from 2013, completed his B.Tech in 1985 and PhD in 1988 from the Dept of Computer Science & Engg, Indian Institute of Technology Kharagpur. He joined the same department as a faculty member in 1988 and is currently a Professor. He was the Professor-in-Charge of the state of the art VLSI Design Laboratory which he helped set up and has been the Dean of Sponsored Research and Industrial Consultancy at IIT Kharagpur and Head of the Advanced Technology Development Centre. He was also the co-Director of the strategic General Motors-IIT Kharagpur Collaborative Research Laboratory on Electronics, Constrols and Software. He pioneered the development of the Incubation Programme at IIT Kharagpur. His areas of interest include Artificial Intelligence (AI), Formal Methods, CAD for VLSI & Embedded Systems, Fault Tolerance and Algorithm Design.
Dr. Chakrabarti has made pioneering research contributions and has solved a number of open problems. His work has been incorporated in standard text books as well as industry level tools of major international companies. He has published more than 200 papers in international journals and conferences and supervised two dozen PhD students. He has worked closely with Govt as well as industry on various problems and has successfully led and completed large projects and programmes at national and international levels. Important among them include DST, CSIR, IGSTC, Volkswagen Foundation, National Semiconductor Corporation, Sun Microsystems, Intel Corporation, Synopsys, General Motors, Xerox, etc. He is a well-known teacher and mentor who has not only graduated a large number of students and developed well appreciated teaching modules but has also motivated and championed many student innovation and entrepreneurial activities which have achieved unique successes. He has been closely associated with education and curriculum initiatives through participation in NPTEL and Pedagogy projects and currently drives the National Digital Library (NDL) of Govt of India. He is also the National Coordinator of the Global Initiative of Academic Networks (GIAN) programme. He has received several national awards for his contributions.
Dr. Chakrabarti received the President of India Gold Medal (1985), the INSA Young Scientist Award (1991), Anil K Bose Award (1995), INAE Young Engineer’s Award (1997) and the Swarnajayanti Fellowship (1997-98), Shanti Swarup Bhatnagar Prize (2000), INAE Visweswarya Chair Professorship (2007-9), J.C. Bose Fellowship (2013), ACCS-CDAC Foundation Award (2016) and many other awards. He has been elected a Fellow of the Indian National Science Academy, New Delhi and the Indian Academy of Science, Bangalore, Indian National Academy of Engineering and the West Bengal Academy of Science & Technology.