LDRA has fine-tuned its LDRA tool suite instrumentation and analysis to scale down to low-power, highly constrained, minimal footprint architectures. This ensures that development teams can fully analyze and verify such systems to even the most rigorous levels demanded for safety-critical and security-critical certification. Using optimized technology, LDRA captures data from highly constrained target systems and sends it back to the host to help companies achieve coding standards compliance, safety standards compliance, and security standards compliance. This level of granular analysis is available not only on LDRA’s stand-alone products, LDRAunit and LDRAcover, but also on the comprehensive LDRA tool suite, helping to ensure that companies gain complete traceability over the entire life cycle of their application from requirements through verification and deployment.
Click on image to enlarge.
Although the Internet of Things (IoT) is capturing much of the media’s attention for its scaled-down, connected systems, other industries such as avionics, defense, industrial control, smart energy, medical, and automotive now also take advantage of new, highly functional, low-power controllers that have little tolerance for the overhead of most verification technologies and tools. LDRA recognizes that size, weight, and power are always a consideration and has developed different methods of connectivity between the host and the target to ensure that data can be pulled from even the smallest 8-bit and 16-bit microcontrollers provided by ARM, Freescale, Microchip, Renesas, Texas Instruments, among others. The LDRA tool suite is therefore capable of providing end-to-end application and verification analysis on systems where granular expertise for microcontrollers is needed as well as robust, comprehensive analysis for multicore technologies.
Microcontrollers now deliver far greater functionality at much lower power, thereby playing a much greater role in complex systems where safety and security are essential. Whether the controller is used in an unmanned vehicle, infusion pump or engine control system, suppliers need to produce safe, high-quality, secure code. To realize this assurance, they must leverage static analysis for code clarity and consistency, dynamic analysis to ensure their application is adequately tested in accordance with the standards, and automated unit and system-level testing to help control costs. LDRA tools ensure that even the smallest targets can be integrated into a traceable development workflow so auditors can confirm all requirements have been met, fully tested, and verified.