LDRA brings safety-critical expertise and full verification to multicore platforms

SAN JOSE, USA: LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, announced its ability to provide cost-effective verification of multicore systems to safety-critical standards.

With industry's continued emphasis on reducing size, weight, and power (SWaP), safety-critical systems manufacturers continue to look for ways to achieve full verification and even certification of multicore systems in a cost-effective manner. LDRA's ability to instrument and capture analysis and test data from such systems breaks through the verification barrier, promising system developers the resources and technology they need to achieve rigorous certification.

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.