LDRA's ‘Domain-Specific Productivity Packages’ fulfill any verification and validation needs, increasing productivity and reducing time to market.
Our goal
helping our clients accomplish their quality, safety, and security goals faster than ever before by offering low-cost subscriptions and effective tool utilisation.
Our Mission
redefine industry standards by facilitating a more efficient, cost-effective pathway to compliance.
Our Process
Each productivity package is meticulously designed and has a specific number of tool capabilities that are compliant with industry certification criteria such as automotive, aerospace and defense, medical devices, and others.
The LDRA Productivity Package for Automotive at a glance:
• Functional safety and security standards compliance with ISO 26262 and optionally with
ISO/SAE 21434
• Static code analysis including key quality, complexity and testability metrics
• Coding standards compliance including MISRA, CERT, CWE and AUTOSAR for both C and C++,
along with many other commercially available coding standards
• The ability to define your own coding standards
• Dynamic structural coverage analysis including MC/DC, function coverage and call coverage
• Unit and system level testing on target hardware
• Requirements-based and on-target testing
• Automatic test case generation, test harness generation, and stub generation
• Security analysis and reporting, including taint analysis
• Data coupling and control coupling analysis
• Automatic generation of ISO 26262 Compliance Reports, Function Coverage, and Call Coverage
Reports
• Can be extended through add-on capabilities including requirements traceability, web-based
project-level reporting, and worst-case execution time analysis
• Breadth of capabilities meets the needs of most commercial and defense software
development and verification projects
• Flexibility and scalability to support projects at any point in the lifecycle
The LDRA Productivity Package for Aerospace and Defense at a glance:
• Functional safety and security standards compliance with DO-178C, and optionally with ARP 4754A,
DO-331, MIL-HDBK-516C, DEF-STAN 00-055, and the Future Airborne Capability Environment
• Static code analysis including key quality, complexity and testability metrics
• Coding standards compliance including MISRA, CERT, and CWE for both C and C++, along with many
other commercially available coding standards
• The ability to define your own coding standards
• Dynamic structural coverage analysis including MC/DC
• Unit and system level testing on target hardware
• Requirements-based and on-target testing
• Security analysis and reporting, including taint analysis
• Data coupling and control coupling analysis
• Can be extended through add-on capabilities including requirements traceability, web-based projectlevel
reporting, worst-case execution time analysis, tool qualification packages, and object to source
code traceability and coverage
• Breadth of capabilities meets the needs of most commercial and defense software development and
verification projects
• Flexibility and scalability to support projects at any point in the lifecycle
The LDRA Productivity Package for Medical Devices at a glance:
• Functional safety compliance with IEC 62304, and validation and verification of secure coding best
practice
• Static code analysis including key quality, complexity and testability metrics
• Coding standards compliance including MISRA, CERT, and CWE for both C and C++, along with many
other commercially available coding standards
• The ability to define custom coding standards
• Dynamic structural coverage analysis including MC/DC
• Unit and system level testing on target hardware
• Requirements-based and on-target testing
• Security analysis and reporting, including taint analysis
• Data coupling and control coupling analysis
• Can be extended through add-on capabilities including requirements traceability, web-based projectlevel
reporting, tool qualification packages, and object to source code traceability and coverage
• Breadth of capabilities meets the needs of most medical device software development and verification
projects
• Flexibility and scalability to support projects at any point in the lifecycle
The LDRA Productivity Package for Industrial Controls at a glance:
• Functional safety and security standards compliance with IEC 61508 and IEC 62443-4-1.
• Static code analysis including key quality, complexity and testability metrics
• Coding standards compliance including MISRA, CERT, and CWE for both C and C++, along with many
other commercially available coding standards
• The ability to define custom coding standards
• Dynamic structural coverage analysis including MC/DC
• Unit and system level testing on target hardware
• Requirements-based and on-target testing
• Security analysis and reporting, including taint analysis
• Data coupling and control coupling analysis
• Can be extended through add-on capabilities including requirements traceability, web-based projectlevel
reporting, tool qualification packages, and object to source code traceability and coverage
• Breadth of capabilities meets the needs of most industrial controls software development and
verification projects
• Flexibility and scalability to support projects at any point in the lifecycle
The LDRA Productivity Package for Energy at a glance:
• Functional safety standard compliance with EN 60880 and IEC 62138, and support for secure coding best
practice
• Static code analysis including key quality, complexity and testability metrics
• Coding standards compliance including MISRA, CERT, and CWE for both C and C++, along with many other
commercially available coding standards
• The ability to define custom coding standards
• Dynamic structural coverage analysis including MC/DC
• Unit and system level testing on target hardware
• Requirements-based and on-target testing
• Security analysis and reporting, including taint analysis
• Data coupling and control coupling analysis
• Can be extended through add-in capabilities including requirements traceability, web-based project-level
reporting, tool qualification packages, and object to source code traceability and coverage
• Breadth of capabilities meets the needs of most Energy software development and verification projects
• Flexibility and scalability to support projects at any point in the lifecycle
The LDRA Productivity Package for Rail Transportation at a glance:
• Functional safety standards compliance with EN 50128, and support for secure coding best practice
• Static code analysis including key quality, complexity and testability metrics
• Coding standards compliance including MISRA, CERT, and CWE for both C and C++, along with many
other commercially available coding standards
• The ability to define custom coding standards
• Dynamic structural coverage analysis including statement, branch decision coverage, and MC/DC
• Unit and system level testing on target hardware
• Requirements-based and on-target testing
• Security analysis and reporting, including taint analysis
• Data coupling and control coupling analysis
• Can be extended through add-in capabilities including requirements traceability, web-based projectlevel
reporting, tool qualification packages, and object to source code traceability and coverage
• Breadth of capabilities meets the needs of most railway control and instrumentation software
development and verification projects
• Flexibility and scalability to support projects at any point in the lifecycle
The LDRA Productivity Package for Static Analysis provides a specially targeted set of capabilities drawn from
the LDRA tool suite to enable customers to comprehensively analyze software quality through static analysis.
The productivity package enforces compliance with coding standards and clearly indicates software flaws
that might otherwise pass through the standard build and test process. The automated static analysis and
rules checking can be customized to support almost any in-house or universal standard. Using LDRA’s source
code visualization, it’s easy to identify exactly where code deviates from coding standards so it can be rapidly
brought into compliance.
The package includes LDRA’s best in class capabilities for improving the consistency and overall quality
of code with a range of essential features designed to ensure compliance with safety and security coding
standards. Static code analysis is used to evaluate code quality and gather critical quality metrics (or quality
measures) such as cyclomatic complexity and HIS metrics. These can then be used to determine the level of
clarity, maintainability, and testability of the code.
It also enables checking against the rules defined by safety and security coding standards such as MISRA,
CERT, and BARR in addition to user-defined rules sets. CWE (Common Weakness Enumeration), while not
strictly a coding standard, classifies and identifies security weaknesses in such a way that the static analysis
tool can find them in the source code.
The LDRA Productivity Package for Quality & Security is a set of targeted capabilities drawn from the LDRA tool
suite. It supports the development of software that is required to be of high quality, highly secure, or both. It also
enables customers to meet the rigorous standards required to comply with IEC 15408, also known as the Common
Criteria for Information Technology Security Evaluation (CC).
The package includes LDRA’s best in class capabilities for the development and verification of high quality and
security-critical software. The package’s flexibility and scalability addresses the changing needs of the most
demanding projects and enhances collaboration across large and small teams, making it ideal for use at any point
in the software development lifecycle. The breadth of capabilities included in the package make it applicable to
software development across the sectors and to varying levels of assurance.
The LDRA Productivity Package for Quality & Security embraces both static and dynamic analysis techniques to
encompasses a wide range of essential features designed to ensure high reliability, compliance with security
standards, or both. Static code analysis (SAST) is used to evaluate code quality and gather critical metrics. It
enables checking against the rules defined by coding standards such as MISRA, CERT, and CWE, in addition to user
configurable rules sets.
The LDRA Productivity Package for Functional Safety is a set of targeted capabilities drawn from the LDRA tool suite
enabling customers to achieve IEC 61508, ISO 26262, SAE J3061, ISO/SAE 21434 & IEC 62304 compliance through
to the highest level of assurance for each standard.
The package includes LDRA’s best in class capabilities for the development and verification of sector-specific
applications, including medical device and automotive software. The package’s flexibility and scalability addresses
the changing needs of the most demanding projects and enhances collaboration across large and small teams,
making it ideal for use at any point in the software development lifecycle. The breadth of capabilities included in
the package make it suitable for use across the functional safety sectors for the development of software to varying
levels of assurance.
The LDRA Productivity Package for Functional Safety embraces both static and dynamic analysis techniques to
encompasses a wide range of essential features designed to ensure compliance with functional safety and security
standards. Static code analysis is used to evaluate code quality and gather critical metrics. It enables checking
against the rules defined by coding standards such as MISRA, CERT, and CWE, in addition to user configurable rules
sets.
Our productivity packages are set to empower developers looking for optimized tools within their budgets
Itec Ltd.
Address: 38th HaBarzel St., Ramat Hachayal
Tel-Aviv 6971054
Tel: 972-3-6491202
Email: info@itec.co.il