Cleared—and Verified—for Takeoff
By: Rob van Blommestein
Ensuring avionic computing systems satisfy DO-254 with coverage-driven verification.
Clue turned to OneSpin to help in the stringent verification effort and to meet the safety requirements prescribed by the DO-254. Clue is applying OneSpin 360 DV-Verify to their FPGA soft IP cores for their WittyBox family of flight and mission computers. DV-Verify ensures complete verification of a design, assuring that it behaves as intended and, equally importantly, that it does not do anything that it isn’t supposed to do.
[....]
Ignacio added, “We are always seeking to improve our design process in terms of agility and robustness… As safety-critical-system designers, the key value that we take from OneSpin is of course formal verification. We saw a robust and powerful tool that could be also applied to our industry. We have been working closely with OneSpin to learn together how their product could help us meet RTCO-DO-254 objectives in terms of requirement verification, traceability, and coverage.”
Clue is seeing value in working with OneSpin that extends beyond safety certification. Clue implements agile methodologies and performs incremental design based on fast iterations. To aid in this process, they have integrated OneSpin’s solutions into their automatic testing platform, resulting in more tests being completed with more efficacy. Errors are detected earlier, which helps to accelerate development and improve code quality.
