LDRA (Wirral, UK) announced its ability to provide verification of multicore systems to safety-critical standards. 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. The company asserts it addresses these challenges with:
- Optimized instrumentation and analysis with aggregation of the coverage data across the various processors in the multicore system without the typical overhead of mutexes to avoid 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.
- Reduced and optimized instrumentation and data collection to ease memory and performance overhead.
For more information, visit www.ldra.com