LDRA quickly verifies C and Ada source code
A LDRA product story
Edited by the Electronicstalk editorial team Apr 28, 2009
IHI, which makes jet engines, found the LDRA tool-suite was 14-times quicker than previous coverage analysis processes after using it to verify its C and Ada source code for DO-178B certification.
Japan-based IHI selected LDRA's tool suite because of its depth and diversity of tools, but given the extremely tight development schedule, the speed improvement helped the project succeed.
IHI is the primary contractor for aircraft engines used by the Ministry of Defense and participates in international co-operative projects developing large- to small-scale engines for civilian aircraft.
IHI is required to meet DO-178B Level A certification, the most rigorous testing standard for avionics software.
Under the DO-178B standard, software verification tools such as LDRA's tool suite must be qualified on a project-by-project basis.
In assessing the merits of LDRA tool suite, IHI therefore placed a high value on the quality of vendor assistance for tool qualification.
LDRA's track record of working with clients and the FAA to audit the LDRA tool suite for project use proved a significant factor.
The DO-178B standard details guidelines for the production of software for airborne systems.
DO-178B covers the complete software lifecycle: planning, development and integral processes to ensure correctness, control and confidence in the software.
The integral processes include requirements traceability, software design, coding and software verification.
To achieve the airworthiness objectives, requirements traceability and testing tools are essential.
Acknowledging the challenge of DO-178B certification, Osamu Kanmoto, manager of control systems engineering at IHI, said: 'We had to meet the requirements of DO-178B Level A, which involves testing to modified condition decision coverage - not an easy task.' The LDRA tool-suite tailors reports to give users DO-178B information quickly and concisely, speeding up the testing procedure.
In its implementation, IHI configured and adapted both the LDRA tool suite and its overall development processes to introduce high levels of automation by designing an efficient and repeatable process.
The LDRA tool suite has improved IHI's ability to satisfy, audit and review designs.
IHI has future plans to leverage the powerful static analysis capabilities of the LDRA tool suite to gain an objective and quantifiable view of the quality of its source code.
Not what you're looking for? Search the site.
Google Ads
Contact LDRA
Related Stories
Articles by product category
- Active Components (11,579)
- Active Components (4)
- Analogue and Mixed Signal ICs (1,726)
- Communications ICs (Wired) (1,803)
- Discrete Power Devices (418)
- Programmable Logic Devices (597)
- Microprocessors, Microcontrollers and DSPs (2,157)
- Memory Devices and Modules (760)
- Power Supply ICs and Controllers (2,391)
- Communications ICs (Wireless) (1,578)
- Standard Logic Devices (145)
- Passive Components (3,138)
- Passive Components (1)
- Capacitors (682)
- EMC Components (407)
- Frequency Control Components (410)
- Electromechanical Components (571)
- Circuit Protection Devices (494)
- Resistors (315)
- Transformers and Inductors (258)
- Design and Development (9,476)
- Design and Development (1)
- Embedded Software and Operating Systems (1,673)
- Design and Development Hardware (1,030)
- Intellectual Property Cores (1,538)
- Reference Designs (351)
- Design and Development Software (4,578)
- Design Services (305)
- Enclosures and Panel Products (3,362)
- Enclosures and Panel Products (2)
- Handheld and Other Small Enclosures (137)
- Instrument Cases, Benchtop, Wall-Mounting Enclosures (338)
- Floor-Standing Racks, Cabinets, Enclosures (246)
- Fans and Blowers (223)
- Gaskets, Seals and Screens (123)
- Heatsinks and Thermal Management (198)
- LCD Modules (484)
- Monitors (132)
- Other OEM Display Modules, Meters (239)
- Switches and Keyboards (576)
- Rotary Controls, Joysticks etc (136)
- Indicators and Audio (79)
- Touchscreens and Touch Sensors (291)
- Printers, Knobs, Bezels, Other Panelware (151)
- Interconnection (3,028)
- Interconnection (10)
- Antennas and Feeders (304)
- Boards and Backplanes (153)
- Cables and Wires (455)
- PCB Connectors (598)
- Plugs and Sockets (1,174)
- Terminals and Power (279)
- Electronics Manufacturing, Packaging (3,182)
- Industry News (1,935)
- Optoelectronics (1,711)
- Power Supplies (2,461)
- Power Supplies (6)
- AC/DC Power Supplies (1,032)
- Batteries and Chargers (248)
- DC/DC Convertors (881)
- DC/AC Inverters (78)
- OEM Power Supplies (0)
- UPSs (216)
- Subassemblies (4,829)
- Subassemblies (2)
- VMEbus Boards, Assemblies (420)
- CompactPCI Boards, Assemblies (372)
- Embedded Computing and Control (1,261)
- Wireless Communications (1,075)
- Networking Hardware (906)
- PC-Compatible Boards, Assemblies (793)
- Test and Measurement (5,164)
- Test and Measurement (2)
- ATE Systems (392)
- Compliance Engineering (900)
- Sensors and Data Acquisition (901)
- Board-Level Instruments (542)
- Stand-Alone Instruments (2,008)
- Test Accessories (404)
