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.
John Keller | Editor
John Keller is editor-in-chief of Military & Aerospace Electronics magazine, which provides extensive coverage and analysis of enabling electronic and optoelectronic technologies in military, space, and commercial aviation applications. A member of the Military & Aerospace Electronics staff since the magazine's founding in 1989, Mr. Keller took over as chief editor in 1995.