Tool suite automates software verification, standards compliance
ProductNovember 16, 2014
Designers of safety-critical systems continue to look for ways to achieve full verification and even certification of multicore systems in a cost-effective manner as they are driven more and more by requirements to reduce size, weight, and power. LDRA experts are helping in this area with...
Designers of safety-critical systems continue to look for ways to achieve full verification and even certification of multicore systems in a cost-effective manner as they are driven more and more by requirements to reduce size, weight, and power. LDRA experts are helping in this area with their suite of analysis and testing tools that provide system developers with the option to aggregate the coverage data across the various processors in the multicore system without the typical overhead of mutual exclusion. This approach enables developers to avoid deadlocks and delays.
The need for greater processing power with reduced power consumption is driving the developers of safety-critical applications toward multicore systems, but 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’s verification tool suite integrates with RTOS and compiler vendors such as Wind River and Green Hills Software, which enables users to execute all capabilities across the set of cores. The user – as needed – can introduce capabilities for coding-standard compliance, structural coverage, data and control coupling, and low-level testing as needed on the host, simulator, or actual target hardware.
