Project Investigator
Prof. Pallab Dasgupta, Prof. Sandeep K. Shukla
Description

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.