Ability to verify multicore systems to safety-critical standards offered by LDRA

ATLANTA, 14 April 2014. LDRA Technology Inc. in Atlanta is introducing the ability in the company's software engineering tools to provide verification of multicore systems to safety-critical standards.

Apr 14th, 2014
Ability to verify multicore systems to safety-critical standards offered by LDRA
Ability to verify multicore systems to safety-critical standards offered by LDRA
ATLANTA, 14 April 2014. LDRA Technology Inc. in Atlanta is introducing the ability in the company's software engineering tools to provide 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 software verification and even certification of multicore systems, company officials say.

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.

Related: Compliance-management tool for safety-critical software development introduced by LDRA

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 several processes run on different cores, collecting structural coverage data and creating and executing tests can be hampered by concurrency, reliability, and robustness roadblocks.

LDRA confronts such challenges on several levels. With 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.

Related: Combat aircraft with advanced avionics

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 reduced and optimized instrumentation and data collection eases memory and performance overhead. for more information contact LDRA online at www.ldra.com.

More in Computers