Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have