Decrease size
Reset to Default
Increase size

Proposal Number: 5496

Domain: Information & Communication Technology

Theme(s): CAD for Reliability and Safety

Supporting Central Government Agency: Ministry of Railways

Budget (Rs. Lakhs): 348.00

Principal Investigator: PALLAB DASGUPTA

Principal Investigator Institute: INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR

Co-Investigators:
SANDEEP SHUKLA ,INDIAN INSTITUTE OF TECHNOLOGY KANPUR
SUPRATIK CHAKRABORTY ,INDIAN INSTITUTE OF TECHNOLOGY BOMBAY
P P CHAKRABARTI ,INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR
SOUMYAJIT DEY ,INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR
INDRANIL SAHA ,INDIAN INSTITUTE OF TECHNOLOGY KANPUR

Domain: Information & Communication Technology

Project Title

FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety Critical ICT Systems

Project Images

Image Caption:

Web Abstract

Safety violations and cyber-attacks due to design or implementation errors in safety-critical systems are increasingly common. To tackle the extremely challenging task of safety verification of such systems, many industrial safety certification standards, including DO178C (avionics), ISO26262 (automotive), EN50128 (railways) and IEEE1228-1994 (software) recommend using formal methods. In India, formal methods for safety-critical-system validation is not widely practiced, possibly due to lack of established frameworks and tools, trained manpower and a concerted national effort to build such frameworks. Furthermore, deployment of indigenous software and systems in safety-critical applications has been significantly impaired due to lack of in-house competence in formal validation and certification in niche technology domains. We propose a networked center as a national effort for developing formal verification practices for safety-critical ICT systems, leveraging leading expertise from three IITs. Our deliverables include efficient formal tools and frameworks for verification and reverse engineering for vulnerability discovery and remediation.