English German
There's always a Logic Solution!
LDRA

About LDRA

LDRA is an ISO 9000/9001:2008 certified company, dedicated to providing high quality products and services to its customers developing mission-, safety-, and security-critical applications.

TESTIMONIALS

Ultra developed a midlife upgrade of a pre-existing, uncertified, avionics system and faced significant challenges due to the introduction of requirements for DO-178B Level B safety certification coupled with a migration to a commercial off-the-shelf (COTS) hardware platform.  The LDRA tool suite was utilised to overcome the identified challenges to develop a safety-certifiable platform running on VxWorks.

-Ultra Datel-

TBsafe

Software testing of high integrity code requires greater analysis of the source code and a greater degree of coverage attained to prove correctness to certification bodies. This can be achieved by the extra testing option for the LDRA tool suite - TBsafe.

Features:
 

  • Information Flow Analysis
  • Exact Semantic Analysis
  • MC/DC Coverage
  • Safe Subsets
  • Dynamic Data Flow Coverage

Software ComponentsSoftware QualityBoards & SolutionsDevelopment Tools

DATASHEET/DOWNLOADS