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

Submitted by user123 on Sat, 07/24/2021 - 12:56
Project Investigator
Prof. Pallab Dasgupta, Prof. Sandeep K. Shukla

The project aims to germinate a national knowledge centre for formal methods, targeting recent applications and safety standards in various ICT domains such as aeronautics, automotive, power, nuclear, railway, and space. Objectives include research and development of specific tools and tool repositories, industrial partnership and manpower training. It proposes research centric work packages for developing tools for formal validation of control systems, networked systems, and hardware/software systems. The project also proposes knowledge centric work packages on interpretation of safety standards, processes, and tool flows. It has training centric work packages for developing the ecosystem for safety validation and certification.