LDRA: verification and certification environment for 2nd generation IMA

LDRA and Lynx Software Technologies extended their partnership to integrate the LDRA tool suite with the LynxSecure Safety Bundle announced this week. The LDRA tool suite is already available for use with the LynxOS family of operating systems, including LynxOS-178, for the development and verification of high and mixed criticality embedded applications. As the market shifts towards the 2nd generation of Integrated Modular Avionics (IMA), LDRA is prepared to support avionic system integrators with their test, verification, and certification requirements.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.