Efficient development of safety-critical software

The software content of safety-critical avionics systems is increasing rapidly, potentially leading to project delays and cost overruns because of the complexity of verifying the code. By implementing automation techniques such as code generation in concert with a formally defined specification language, it is possible to achieve significant time and cost savings. These savings have been demonstrated at two major European companies on their own avionics projects.