LDRA integrates tool suite with MATLAB and Simulink, verifies model at object code level

WIRRAL, U.K., 5 April 2013. LDRA, a provider of standards compliance, automated software verification, source code analysis, and test tools, offers verification of the model via integration with MATLAB and Simulink.

To boost the quality and efficiency of safety-critical design, the LDRA tool suite now analyzes, instruments, and assesses code coverage of source and object code during the model phase of development.

The LDRA tool suite can now use real-world data from MATLAB that’s connected to a Simulink model to verify the application at source code and object code levels. Developers can fine-tune the model to reflect a data-driven flow of information, reducing the amount of error-prone manual manipulation necessary for the model-generated code to achieve DO-178C, Level A certification.

“Rigorous verification of the safety-critical systems found in avionics, defense, and high-speed rail has resulted in stellar safety records, but at a significant financial and time-to-market cost,” notes Ian Hennell, LDRA operations director. “Through this integration, LDRA gives companies a way to maintain best-of-breed software practices and quality while better managing the work flow, schedule, and cost of development.”

The most critical levels of certification require comprehensive testing of an application by independent analysis not only at the source code level, but also at the machine code assembler level, says a company spokesperson. While model-driven development typically ensures consistent code, verification previously required many more steps.

Developers could verify the model, but the code had to be extracted, instrumented, connected to an execution harness, and executed against functional verification data to ensure the model-generated code properly managed a real-world situation.

Discrepancies in the functionality required developers to rework the model and manually manipulate the code. Not until the developer could prove that every line of code had been fully tested could an application be submitted for Level A certification.

LDRA tool suite, now with integration with MATLAB and Simulink, enables users to run real-world code generated by Embedded Coder in software in the loop (SIL) and processor in the loop (PIL) simulations. The LDRA tool suite will analyze both the source and object codes entirely inside the same LDRA framework. LDRA acts as an independent verification layer, working within the MATLAB and Simulink environment.

By applying data from models, developers can better understand how various components of the application interact with each other. Defects in the design can be identified, and changes made to the model directly, eliminating many hours of error-prone iterations between the model, code and data.

“The integration of MATLAB and Simulink with the LDRA tool suite enables developers to reuse their requirements-based model simulation test framework now on the executable object code. This improves the efficiency and quality of code while continuing to meet the highest criteria of industry certification,” says MathWorks Embedded Applications Manager Tom Erkkinen.

Follow Avionics Intelligence news updates on Twitter (@Avionics_Intel), LinkedIn, and Google+.

Wire News provided by   

 

Press Releases

One Component, Snap Cure Epoxy Features High Strength Properties

Suitable for a variety of applications in the electronic, aerospace and OEM industries, Master Bond EP...

One Part Epoxy Resists up to 500°F and Meets NASA Low Outgassing Specifications

Master Bond Supreme 12AOHT-LO is a one component epoxy for a variety of bonding and sealing applicatio...

Low Viscosity, One Part Cyanoacrylate Is Non-Toxic and Meets ISO 10993-5 Specifications

Master Bond MB250NT is widely used for a variety of applications ranging from repair to high speed pro...

Thermally Conductive, Two Component Epoxy Passes USP Class VI Tests and ISO 10993-5 Specifications

With biocompatibility and cytotoxicity certifications, Master Bond EP21AOLV-2Med is often selected for...

CURTISS-WRIGHT CONGRATULATES NORTHROP GRUMMAN ON SUCCESSFUL FIRST FLIGHT OF SECOND MQ-4C TRITON UAS

Curtiss-Wright Corporation’s Defense Solutions division applauds Northrop Grumman Corporation (NYSE: N...

Curtiss-Wright’s New Rugged Mobile IP Router Subsystem Features an Integrated Cisco® 5915 ESR Router

Curtiss-Wright Corporation today announced that its Defense Solutions division, a Cisco® Systems Solut...

VICTORY Shared Processing, Fire Control Computer, and Switch for Ground Vehicles Introduced by Curtiss-Wright

Curtiss-Wright Corporation today announced that its Defense Solutions division has introduced a new fu...

GE Announces First Sub-Credit Card-Sized Multi-Function High Definition (HD) Video Tracker

HUNTSVILLE, AL.— OCTOBER 13, 2014—GE’s Intelligent Platforms business today announced at AUSA (Octobe...

Most Popular Articles


All Access Sponsors


Follow Us On...