LDRA LTD

Many software system developers need to extend their model-based engineering (MBE) solution to include verification and certification of safety and security critical software. These users need to comply with functional safety & cybersecurity standards including DO-178C, MIL-HDBK-516C, MIL-STD-882E, NPR 7150.2D, and ISO 26262. The LDRA and No Magic Teamwork Cloud integration provides the capability to achieve this compliance. Compliance with all the functional safety standards requires the system/software supplier to maintain bidirectional traceability across software requirements (high level and low level), software files/functions, test cases and test results. In addition to the traceability being required for compliance, this traceability is very advantageous for the system/software supplier to make better design decisions resulting from a failed test or a changed requirement, and then to ensure that change requests are properly and completely implemented and tested.