At IIT Kharagpur, researchers from Electrical, Electronics and Computer Science have come together to address some of the emerging research challenges in automotive control, safety critical avionic software, digital and analog integrated circuits, railway signaling/train control systems, and smart electrical grids. Proving the safety of such systems is one of the most significant concerns in these industries. Formal methods are logic based techniques which originated from Artificial Intelligence and have been refined over the years through new algorithms and powerful back-end SAT/SMT solvers to prove the correctness of a wide variety of software based systems. Leading organizations like NASA, Intel, Microsoft and Google have dedicated groups on formal methods.
ACADEMIA: TU Munich | TU Eindhoven | TU Delft | VERIMAG France | TU Darmstadt | EPFL Lausanne
INDUSTRY: Semiconductor Research Consortium (USA, India) | Intel (India, USA) | Synopsys (India, USA) | National Semiconductor Corporation (USA) | Google Inc. | IBM | Indian Railways | Hindustan Aeronautics Limited
With opportunities for fundamental research on new generation formal tools and algorithms, students will have the unique opportunity to work jointly (and spend time) in three IITs. Possibilities to work closely with Indian Railways (the world’s largest railways) on next generation railway technologies.
INDO-UK Consortium on Clean Energy Project on Strategies for Massive Integration of Solar Power in the Indian Power Grid.
A collaboration with the SEAL Lab IIT Kharagpur to develop formal methods for analyzing vulnerabilities in emerging protocols for security in automotive ECUs. We shall also examine the ISO26262 standards for designing new algorithms for fault selection and test generation for qualification of automotive components.
IITKGP and TATA motors are working towards an open architecture for smart Hybrid Electric vehicles. The related software and embedded platform development and formal verification activity shall be overseen by faculty members from this group in collaboration with faculty members from EE dept.
INDO-FRENCH project with VERIMAG Laboratories in Grenoble, France. A student will spend some time in France and have the opportunity to work on formal modeling of aircraft stability control laws. This project is in partnership with Airbus Industries.
Development of CAD tools for design of Micro-Grids which will serve as smart power sources combining renewable and nonrenewable energy.
JOURNALS: IEEE Trans. CAD, IEEE Trans. Intell Transportation Sys., Journal of Applied Logic, IEEE Design & Test, Journal of Automated Reasoning, FAOC, IEEE Embedded Systems Letters, IEEE Trans. VLSI, JOLPE, VLSICS, ACM SIGSOFT, ACM TODAES, IET Computers and Digital Techniques, IEEE Transactions Computers
CONFERENCES: IET Railway Engineering, FORMATS, VLSID, IEEE MSC, IJCAI, PReMI, ISEC, DATE, MeMoCODE