The need for greater processing power with reduced power consumption is driving the developers of safety-critical applications toward multicore systems. Verification of such systems for rigorous safety-critical certifications such as DO-178C poses specific challenges. When multiple processes run on different cores, collecting structural coverage data and creating and executing tests efficiently can be hampered by concurrency, reliability, and robustness roadblocks.
LDRA addresses these challenges on multiple levels:
- With highly optimized instrumentation and analysis, LDRA aggregates the coverage data across the various processors in the multicore system without the typical overhead of mutexes. This approach avoids the deadlocks caused by other verification tools and technologies.
- LDRA integration with RTOS and compiler vendors such as Wind River and Green Hills Software is comprehensive, enabling execution of all capabilities across the set of cores.
- LDRA’s dramatically reduced and optimized instrumentation and data collection eases memory and performance overhead.
In the avionics sector, LDRA offers full support for the integrated modular avionics technology offered by both Wind River ARINC 653 and Green Hills Integrity-178C. LDRA support includes advanced I/O, project file and IDE integrations, integrations with compiler tool chains and simulators across a wide range of silicon, and integrations with virtualized environments.
LDRA’s capabilities for coding-standard compliance, structural coverage, data and control coupling, and low-level testing can be introduced into the verification workflow as needed on the host, simulator, or actual target hardware. Such comprehensive capabilities dramatically improve workflow and development transparency, and ultimately ensure quality of the delivered multicore application.