LDRA tool suite offers compliance to DO-178B/C and IEC 61058 for radiation-hardened processors
LDRA validates code written for MIL-STD-1750 and Aeroflex Gaisler for space and nuclear industries where access to test boards is limited
Wirral, UK. 18 December 2012 - LDRA, the leading provider of automated software verification, source code analysis and test tools, offers validation from requirements through to certification for radiation-hardened environments where radiation anomalies (single event upsets) can disrupt system functionality causing catastrophic results. Such environments demand the most rigorous compliance standards for industrial safety (IEC 61508) and avionics (DO-178B/C) and run on specialised radiation-hardened processors not typically supported by general-purposed tool chains. Due to the extreme cost of these processors, development boards are shared between all system teams. The LDRA tool suite® creates rigorous test harnesses that fully exercise the code in simulated systems, eliminating errors and reducing on-target testing time.
Radiation-hardened processors, such as MIL-STS-1750 and Aeroflex Gaisler, represent a range of legacy to best-in-class processors for spacecraft and nuclear applications. Highly reliable, these components offer a full range of capabilities from 16-bit through to 64 and have dominated the space industry for decades. The integration of the LDRA tool suite with operating systems such as Linux and VxWorks enables developers to run code on the target and load and extract results through networks including Ethernet, TCP/IP, and SpaceWire.
LDRA Tool Suite Creates Rigorous Test Harness
Since access to these specialised development systems is limited, developers use the LDRA tool suite to perform code review, code coverage, unit testing and requirements traceability before deployment on the target. The LDRA tool suite exercises the code fully, automatically generating test cases and confirming code coverage down to the assembly level in a simulated test environment. Such tests ensure that the application along with all development tools whether compilers, real-time operating systems or other tool chain components function reliably and as expected and are compliant with DO-178B/C and IEC 61508 certification requirements. These tests can be repeated on target before deployment and the ability to run the same tests on simulator and target allows for developers to maximize use of target resources.
“Because of the safety risks and the expense of development, regulators mandate that the hundreds of thousands of lines of code responsible for the various systems within a nuclear power plant and space crafts comply with the most rigorous certification standards,” confirmed Ian Hennell, LDRA Operations Director. “Our broad safety-driven customer base and strong technical relationships with chip and tool chain vendors alike ensures the LDRA tool suite can provide the more rigorous validation for applications that we cannot afford to fail.”
LDRA Offers Seamless Transition to the Target
Because the LDRA tool suite is capable of fully exercising the code, identifying errors, untested code, and unfilled requirements for applications running on these specialised processors, developers can fully vet the code, ensuring that applications function as expected. As development boards become available, developers can then apply the same test harness used in the simulated test environment to the target system. The team can quickly load, execute, and get results through whatever mechanisms are available on each processor.
The LDRA tool suite supports Linux, Solaris, and VxWorks tools for these highly specialised processors.
# # #
For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security- and business-critical markets. Working with clients to achieve early error identification and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA is headquartered in the UK with subsidiaries in the United States and an extensive distributor network. For more information on the LDRA tool suite, please visit: www.ldra.com.
About Logic Technology
Founded in 1993, headquartered in Panningen The Netherlands, Logic Technology has become a leader in Europe's embedded market. The unique combination of high-quality products, support and consultancy services is most appreciated by embedded developers. It's this All-Inclusive concept that enables developers to focus on their own key tasks and provides them with a sparring partner in every phase of their project!
Logic Technology’s product offering includes Code Quality Measurement solutions, such as static code analysis, test automation and MISRA®-C Checkers. Logic’s Boards & Solutions specialists offer solutions such as boundary scan, computer modules and board supplies. In the field of Development Tools Logic offers a variety of ARM® & Intel® Tools, debuggers and Eclipse IDE solutions. When it concerns Software Components Logic Technology has specialist in flash device managers, file systems and UEFI BIOS & bootloaders in house. These time saving products are complemented by a strong focus on technical support, (in depth) Technology Courses, Training and Consultancy Services.