LDRA and Dassault simplify verification of safety-critical software

LDRA has announced the LDRA TBmanager Integration Package (TIP) for Dassault Systèmes’ No Magic Teamwork Cloud, which simplifies the verification and certification of safety- and security-critical software

This integration extends model-based systems engineering and enables engineers to achieve the low-level and high-level software requirements-based testing that is mandatory for compliance with functional safety standards across aerospace, defense, space and automotive markets.

One of the largest problems in systems engineering is that the modeling systems, software and hardware architectures and behavior are spread across disconnected tools and documents. These disparate systems made it difficult — if not impossible — to efficiently and accurately trace from requirements into models, to source code and to verification activities and artifacts. A further complication is the inability to perform comprehensive impact analysis of requirements changes, model changes or code changes on the entire process.

“Integrating our LDRA tool suite into the Dassault Systèmes’ No Magic Teamwork Cloud solves the complex problem of system change management and impact analysis by automatically and bidirectionally linking requirements, models, code, tests and the resulting artifacts,” said Ian Hennell, Operations Director at LDRA. “By extending the digital thread between software artifacts and software certification, any changes in the process or assets are easily traced and managed both upstream and downstream. This intelligent automation results in dramatic cost savings versus traditional disconnected activities and the manual production of development and testing artifacts.

The LDRA TBmanager Integration Package for No Magic Teamwork Cloud bridges high and low-level software requirements, models, source code, and the resulting verification artifacts. It enables users to automate and accelerate their software testing and verification processes.

LDRA summarises the streamlined workflow as follows:

• Engineers import high- and low-level software requirements from the No Magic Teamwork Cloud models into TBmanager.
• Requirements are then linked to software files and functions, test cases and test results.
• If all the associated tests for a requirement pass, the verification status of the requirement automatically reflects that it has been verified.
• The verification status of all requirements, along with other changes to requirements, can be exported back to the No Magic Teamwork Cloud.
• As code, requirements, or test cases need to change, then the appropriate test can be re-run or the entire test suite regressed as appropriate.