A modern car features millions of lines of software code. Most of its systems – braking, fuel injection, steering – are controlled by software running on embedded processors. Almost all safety critical systems today rely on correct functioning of software driven electronic components – this includes, for example, railway signalling systems, temperature control in atomic reactors, real time operation in smart electrical grids, and automated healthcare devices like pacemakers and insulin pumps.
In spite of the extensive verification practices for such systems, failures due to design errors continue to haunt the community and repeatedly return us to the question – to what extent can we allow software and electronics to drive highly safety critical systems?
Now MHRD in partnership with the Ministry of Railways, under its IMPRINT program, is setting up FMSAFE, India’s first knowledge centre on Formal Methods on Safety Critical Systems. Fo