Disasters such as the Piper Alpha oil rig explosion and the Gulf of Mexico oil spill have increased scrutiny for both safety and security in industrial applications such as mining, oil & gas, heavy equipment, and process control functions. Many applications within the industrial control sector require compliance to the IEC 61508 standard as it applies to the functional safety of programmable electronic systems in general, or to ISO 13849 with its more specific focus on machine control systems.

The products of manufacturing industry also have a part to play. For example, domestic appliances have the capacity to cause personal injury with the added complication that they are generally used by unskilled operators. With the emergence of the smart grid and smart appliances, if compromised they will soon have the potential to impact the energy supply as a whole. Compliance with IEC 60730 helps to ensure that such devices are acceptably safe.

Complying with any functional safety or cybersecurity standards using traditional manual methods can be time-consuming, costly and error-prone.

INDUSTRIAL & ENERGY | IEC 61508 | ISO 13849 | IEC 60730 | IEC 62443-4-1

The demands of standards such as IEC 61508, ISO 13849, IEC 60730, and IEC 62443-4-1 mean that companies increasingly want to leverage certified software tools to help demonstrate compliance, and to add rigour and automation to their development process. LDRA’s software quality and test tools meet the highest standards for security and safety-critical software development, minimizing risk and expediting development, verification, and deployment. From requirements and safety objective traceability through design, development, and verification, LDRA tools can help your team develop safer and more secure software systems faster and more cost-effectively.

LDRA helps developers of security- and safety-critical industrial systems meet these software quality and test requirements:

Requirements Traceability
TBmanager is the only requirements traceability solution that supports the tracing of requirements, development, and verification artifacts and activities throughout the entire software development life cycle. This bidirectional traceability ensures complete coverage and impact analysis through all phases of development, from a requirement through development to verification, and the production of evidence and documentation in a comprehensive requirements traceability matrix.

Coding Standards Compliance
TBvision’s static analysis capabilities simplify the enforcement of coding standards across your organisation, improving the overall consistency and quality of the code. TBvision helps your team develop and enforce the coding standard that is right for you from in-house best practices and guidelines to industry coding standards or a combination of in-house and industry standards. Examples of supported standards include MISRA C, MISRA C++, CERT C, CERT C++, CERT Java, Netrino C, and JSF++ AV.

Structural Coverage Analysis
The LDRA tool suite lets your team meet the most rigorous coverage analysis requirements, including statement, branch/decision, procedure/function call, Modified Condition/Decision Coverage (MC/DC) (as required for IEC 61508 ASIL Level D), and dynamic data flow.

Object Code Verification
The TBobjectBox module is the only direct way to relate code coverage at the source code level with that achieved at the object code level to achieve complete object code verification (OCV).

Unit, Integration & System Testing
TBrun helps developers avoid the delays and costs caused by the discovery of defects late in the software development or system integration testing cycle. Most importantly, TBrun eliminates the vast majority of tedious, error-prone manual testing techniques by leveraging rigorous analysis of the source code and automating the generation and execution of test cases against that code. TBrun quickly and easily augments the generated code to ensure proper verification of the application under development.

Tool Qualification
LDRA provides support for the qualification of its tool suite for both structural coverage analysis (SCA) as well as for programming rules checking (PRC). The LDRA Tool Qualification Support Packs (TQSPs) contain the test cases to demonstrate both the SCA and PRC capabilities of the tool suite itself. In addition, associated documentation for the development and verification of the product is provided, including plans, procedures, and expected results.

LDRA brings unmatched pedigree in security and safety-critical applications to the industrial market

LDRA brings its long and enviable security and safety record in rigorous standards-based markets such as aerospace to the industrial control software market. TÜV SÜD and SGS-TÜV SAAR have certified the use of the LDRA tool suite for security and safety-critical development in the industrial safety market under IEC 61508-3:2010, in recognition of LDRA’s own formal development and verification process and the capabilities of the LDRA tool suite.

industrial and energy IEC 61508