Press Release
Jun 30 '11
GNAT Pro to be used for safety-critical software development of railway control system
Press Release
Jun 22 '11
Targeting avionics, medical and automotive applications, LDRA integrated the LDRA tool suite with Code Warrior for HC08/HCS08, bringing powerful certification capabilities to this 8-bit footprint.
Press Release
Jun 7 '11
Increased flexibility and functionality for high-assurance systems
Press Release
May 2 '11
LDRA has developed the requirements-to-object–code traceability necessary for devices required to meet the most critical levels of certification. This comprehensive traceability ensures that verification problems found at the object-code level can be quickly and easily traced to the originating source code and requirements levels.
Press Release
May 2 '11
LDRA adds CWE Compatibility to its long suit of industry and programming standards. Sponsored by the U.S. Department of Homeland Security, CWE Compatibility confirms that the LDRA tool suite can identify common programming errors contributing to software containing potentially exploitable vulnerabilities.
Press Release
May 2 '11
The SPARK language shown to have fewest vulnerabilities.
Press Release
May 2 '11
GNAT Pro to be used on high-assurance software for global location and data collection system.
Press Release
May 2 '11
GNAT Pro High-Integrity Edition for DO-178B used for EFIS/EICAS upgrade and modernization
Press Release
Apr 14 '11
The LDRA tool suite’s integration with the TASKING VX-toolset for Infineon’s C166 brings certifiability to this small footprint family and its derivatives. LDRA stands alone in providing standard compliance across all stages of the lifecycle whether for automotive with MISRA and ISO 26262, industrial with IEC 61508 or avionics/military with DO-178B.