Analysis
Analox Chooses LDRA for IEC 61508 Compliance
LDRA, the leading provider of automated software verification, source code analysis and test tools, is announcing its selection by Analox, a leader in gas-detection technology, for compliance and test generation. Analox chose the LDRA tool suite for two projects—a dive monitoring system and for its Analox Sub MkIIIF system that measures oxygen, carbon dioxide, pressure, temperature and humidity in hyperbaric chambers and submarine rescue vehicles. Both projects demanded IEC 61508 certification, which proves the functional safety of programmable electronic systems performing safety functions.
“Not only did LDRA offer superior standard compliance and test generation, but their tool suite was the only product able to be integrated successfully with our tool chain,” noted Chris Allen, Design Engineer, Analox, “Using the LDRA tool suite has changed how we do testing. We now follow best-practice methodology and, as a result, have increased productivity and quality while reducing costs.”
“LDRA prides itself in helping customers move towards zero-defect software,” noted Ian Hennell, LDRA Operations Director. “Far too many companies battle cost and schedule overruns that can be easily addressed by tools that enforce quality programming and automate tedious manual tasks such as test generation. With these improvements, the human error factor is removed and many software bugs are identified early, dramatically reducing programming errors and debug cost.”
For both projects, the LDRA tool suite was integrated with the Keil tool suite, Hi-Tech PICC18 and MPLab tool chains. Analox used LDRA’s TBrun and TBeXtreme to automate the testing and stub generation needed for IEC 61508 without the tremendous time and resources typically needed for such tasks. As well, Analox tailored the MISRA rules for their application and used the LDRA tool suites static analysis engine to monitor their code compliance at all times. Using LDRA’s dynamic testing, Analox was able to complete the functional testing and complete code coverage needed for compliance.
“Thanks to the extremely positive experience we’ve had using the LDRA tool suite, Analox plans to ramp up our use of LDRA’s tools for all projects with a safety requirement,” added Allen. “Because of the changes LDRA has brought us, we now have best-practice methodology and we are seeing the benefits of this on our bottom line.”