Safety critical software is directly affecting life critical systems in mass transit, air traffic control, nuclear reactors, missile systems, medical treatment systems. Safety-critical software system is a computer system whose failure or malfunction may severely harm people's lives, environment or equipment.