^

Resources

Resources

Demo Videos

Listing all videos (83 found)

Taking a close look at ISO 26262 compliance
Protected

ISO 26262 specifies a process for the development of functionally safe systems for automotive applications. Take a detailed look at the scope of the ISO 26262 standard, and at how automation can make compliance with it easier to achieve.

Login or register to view
Achieving Functional Safety with Infineon AURIX Development Studio
Protected

See how the Infineon AURIX Development Studio and Tricore TC 375 combine with the LDRA tool suite to automate dynamic analysis to generate the structural coverage metrics demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Achieving Functional Safety with NXP S32 Design Studio and an S32K344
Protected

Achieving Functional Safety with NXP S32 Design Studio and an S32K344

Login or register to view
Achieving Functional Safety with Rowley CrossWorks ARM
Protected

See how Rowley CrossWorks, a Nordic Semiconductor nRF52 evaluation board, and the LDRA tool suite, automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
SYSGO PikeOS with the LDRA tool suite: Software engineering for functional safety
Protected

See SYSGO PikeOS and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Ada95 Demonstration with the LDRA tool suite
Protected

This video shows how the Ada95 version of the LDRA tool suite can be used to perform static analysis, dynamic analysis and also unit testing on Ada95 code.

Login or register to view
Aeroflex Gaisler LEON3 with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See Aeroflex Gaisler LEON3 and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Analog Devices CrossCore with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See Analog Devices CrossCore and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Analog Devices VisualDSP++ v5.0 Demonstration with the LDRA tool suite
Protected

This video shows how the LDRA tool suite can be used with the Analog Devices VisualDSP++ V5.0 IDE to perform static code analysis, dynamic analysis and unit testing.

Login or register to view
Developing software to be compliant with IEC 62443-4-1
Protected

IEC 62443-4:2018 specifies the requirements for the secure development of systems used in industrial automation and control systems. Learn how IEC 62443-4-1 focuses on secure product development and maintenance in an IACS environment, and how the use of automated tools help to ease the path to compliance.

Login or register to view
Measuring structural coverage with the Arm Development Studio and the LDRA tool suite
Protected

See how to perform structural coverage analysis with the Arm Development Studio and the LDRA tool suite to meet the objectives of standards for functional safety (IEC 61508, ISO 26262, IEC 62304, DO-178C…) and secure coding (SAE J3061, DO-326A, IEC 15408).

Login or register to view
Atmel Studio with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See Atmel Studio and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Automatic Generation of Test Cases with TBextreme
Protected

Shows how test cases can be automatically generated. First it explains why this might be useful and secondly shows two examples one on some C code running with the IAR Embedded Workbench and one with some autogenerated C++ code with Visual Studio.

Login or register to view
Cadence Tensilica Xtensa Xplorer with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See Cadence Tensilica Xtensa Xplorer and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Software engineering: Being compliant with MISRA C and MISRA C++

This video describes the practicalities of the documentation required by MISRA Compliance. Since the release of MISRA Compliance:2020 and MISRA C:2012 Amendment 2, adherence to MISRA Compliance is now obligatory if compliance with MISRA C:2012 is to be claimed. The presentation discusses a violation that is “Advisory” where a simple justification is sufficient, and another “Required” violation where a deviation record is required. It uses the LDRA tool suite to illustrate the principles involved.

Click to view
CMake and Clang with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See CMake, Clang, and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Code Review with the LDRA tool suite
Protected

This video shows how a code review can be performed on C++ source code and how baselines can be created so as to see how the number of coding violations evolves over time.

Login or register to view
CodeBlocks IDE with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See CodeBlocks and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
CodeWarrior Development Studio S12Z with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See CodeWarrior Development Studio S12Z and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Compliance with EN 50128 and the EN 5012X (CENELEC) standards series
Protected

The approval process of interlocking systems mandates adherence to the CENELEC standards EN 50126-1 , EN 50126-2 , EN 50128 and EN 50129 across European countries, and these are mirrored by IEC 62278, IEC 62779 amd IEC 62280 elsewhere in the world. Collectively they describe the life cycle process for safety relevant Guided Transport Systems (GTS). This video provides an introduction to the process to be followed in developing software that is compliant with the standards, and explains how automation can help to minimize the associated overheads.

Login or register to view
Creating a new Programming Standards Model with TBvision®
Protected

A demo showing how to create a new programming standards model using TBvision. This example uses MISRA C:2004 as a baseline and walks you through how to create your own user model.

Login or register to view
Creating your own coding standard
Protected

Login or register to view
Cypress PSoC Creator with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See Cypress PSoC Creator and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
DDC-I DEOS Demonstration with the LDRA tool suite
Protected

This video shows how static analysis, dynamic analysis and unit testing can be performed on a DEOS project created in OpenArbor by DDC-I.

Login or register to view
Eclipse Demonstration with the LDRA tool suite
Protected

See how the Eclipse IDE, a Raspberry Pi Linux target, and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Generating Test Cases From a CSV file
Protected

Generating Test Cases From a CSV file

Login or register to view
Green Hills MULTI and INTEGRITY with the LDRA tool suite: Dynamic analysis including unit test
Protected

See dynamic analysis techniques performed, including structural coverage analysis, unit testing and robustness testing, using Green Hills INTEGRITY for PowerPC and the LDRA tool suite.

Login or register to view
HighTec TriCore and Lauterbach TRACE32 with the LDRA tool suite: Software for functional safety
Protected

See HighTec TriCore, Lauterbach TRACE32, and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
IAR Embedded Workbench for ARM with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See IAR Embedded Workbench for ARM and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
IBM DOORS Demonstration with LDRA tool suite
Protected

This video was created to provide an overview demonstration of IBM DOORS with the LDRA tool suite.

Login or register to view
IBM Rational Rhapsody Demonstration with the LDRA tool suite
Protected

The LDRA tool suite can be used with IBM Rational Rhapsody to do static analysis, unit testing, and dynamic analysis during integration testing.

Login or register to view
Infineon DAVE and an XMC target with the LDRA tool suite: Software engineering for functional safety
Protected

See Infineon DAVE, an XMC target and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Integration with Intland Retina
Protected

Shows how the LDRA tool suite can be integrated with Intland Retina. Runs Retina in Docker.

Login or register to view
An introduction to automated unit testing
Protected

Unit testing is beneficial in determining whether subsets of an application are fit for use, and how automating that process makes it more efficient. Although unit testing can be implemented from first principles, the creation of a suitable environment to allow these isolated units to compile and run can be daunting. This example uses the IAR workbench and the LDRA tool suite to show how automated unit testing can be achieved for a single function, and how problem elements such as called functions and global variables can be handled efficiently. Such an approach is equally appropriate whether you are simply looking to improve code quality, or looking to comply with standards applicable to functional safety (IEC 61508, ISO 26262, IEC 62304, DO-178C…) or secure coding (SAE J3061, DO-326A, IEC 15408).

Login or register to view
Java Demonstration with the LDRA tool suite
Protected

This video shows how the Java version of the LDRA tool suite can be used to perform static analysis and dynamic analysis on Java code.

Login or register to view
JetBrains CLion and SEGGER J-Link with the LDRA tool suite: Software engineering for functional safety
Protected

See JetBrains Clion, SEGGER J-Link, and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Keil uVision4 Demonstration with the LDRA tool suite
Protected

Login or register to view
Keil uVision5 for ARM with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See Keil uVision5 for ARM and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Lauterbach TRACE32 Demonstration with the LDRA tool suite
Protected

This video shows how the Lauterbach TRACE32 can be used for measuring structural coverage and unit testing.

Login or register to view
Microchip MPLABX and the LDRA tool suite: Static analysis, structural coverage, and unit testing
Protected

See Microchip MPLABX combine with the LDRA tool suite to automate static analysis, structural coverage, and unit test techniques to verify and improve the quality of embedded application software. These best practices are a common requirement of functional safety standards including IEC 61508, ISO 26262, IEC 62304, and DO-178C. Where cybersecurity is a more pressing concern, they enable “shift left” testing by automating the SAST and DAST techniques required to comply with SAE J3061, DO-326A, IEC 15408, and other standards that promote secure coding.

Login or register to view
LDRAunit Demonstration
Protected

See how LDRAunit can be used to perform unit testing on C code without requiring investment in a complete tool chain.

Login or register to view
MathWorks Simulink Integration Demonstration with the LDRA tool suite
Protected

This video shows how the LDRA tool suite is integrated into MathWorks Simulink to measure code coverage.

Login or register to view
Measuring structural coverage on software running on FPGAs
Protected

Measuring structural coverage on software running on FPGAs

Login or register to view
Measuring structural coverage on a secure boot and secure firmware update software
Protected

Measuring structural coverage on a secure boot and secure firmware update software

Login or register to view
Measuring Structural Coverage with IAR Embedded Workbench for RISC-V
Protected

See how the IAR Embedded Workbench for RISC-V and a GD32VF103RBT6 device combine with the LDRA tool suite to automate dynamic analysis to generate the structural coverage metrics demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards, and cybersecurity standards including CWE, SAE J3061, and IEC 62443-4-1.

Login or register to view
Microsemi SoftConsole and SmartFusion2 with the LDRA tool suite: Software for functional safety
Protected

See Microsemi SoftConsole, a SmartFusion2 device and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
MISRA C / MISRA C++ Compliance Checking with TBvision®
Protected

An overview of the MISRA-C:2004 and MISRA C++:2008 models being applied and some of the reports available for viewing the results.

Login or register to view
Ensuring MISRA compliance through the application of MISRA Compliance:2020
Protected

No longer is MISRA Compliance just an advisory document gathering dust on your shelf. Since the advent of MISRA C:2012 Amendment 2, adherence to MISRA Compliance:2020 is already obligatory for many projects and that number will only increase. Hear Chris Tapp, Chairman of the MISRA C++ Working Group and Member of the MISRA C working group, explain the context of these changes and what they mean for you, your team, and your processes.

Login or register to view
MISRA C:2012 Demonstration with the LDRA tool suite
Protected

This video was created to provide an overview demonstration for compliance to MISRA C:2012.

Login or register to view
NXP S32 Design Studio with the LDRA tool suite: Software engineering for functional safety
Protected

See NXP S32 Design Studio and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Object Code Verification using Texas Instruments Code Composer Studio and a TMS320
Protected

Shows how Object Code Verification can be performed using Texas Instruments Code Composer Studio and a TMS320

Login or register to view
Object Code Verification using Texas Instruments Code Composer Studio and a TMS570
Protected

Shows how Object Code Verification can be performed using Texas Instruments Code Composer Studio and a TMS570

Login or register to view
Object Code Verification with the LDRA tool suite
Protected

This video shows how the LDRA tool suite can be used for Object Code Verification which is required for DO-178C level A.

Login or register to view
Performing code review with Jenkins and the LDRA tool suite
Protected

See how Jenkins, an open source Continuous Integration server, works in tandem with the LDRA tool suite. Watch how two cycles of project refinement are reflected in a violations trend graphic.

Login or register to view
QNX Momentics and LDRA tool suite Demonstration
Protected

This video shows how the LDRA tool suite integrates into the QNX Momentics IDE allowing developers to perform code reviews, quality reviews, dynamic analysis and unit testing on their code.

Login or register to view
Raspberry Pi Code Coverage Demonstration with the LDRA tool suite
Protected

This video shows how code coverage can be measured on code executing on the Raspberry Pi.

Login or register to view
Raspberry Pi Demonstration with the LDRA tool suite
Protected

This video shows how the LDRA tool suite can be used with Eclipse in order to do static analysis, unit testing and dynamic analysis on code developed for the Raspberry Pi.

Login or register to view
Renesas C+ IDE with the LDRA tool suite: Software engineering for functional safety
Protected

See Renesas C+ IDE and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Renesas e2 Studio IDE with the LDRA tool suite: Software Engineering for Functional Safety
Protected

See Renesas e2 Studio IDE and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Renesas HEW4 Lauterbach Trace32 Demonstration with the LDRA tool suite
Protected

This video shows how static analysis, dynamic analysis and unit testing can be performed on a Renesas HEW project for a SuperH cpu and using the Lauterbach SH Trace32 Simulator.

Login or register to view
Safe and Secure Software with TASKING VX-Toolset for TriCore, including CERT C compliance
Protected

See how the TASKING VX-Toolset for TriCore, a Hitex ShieldBuddy TC375, and the LDRA tool suite, automate the static analysis, coding standards adherence (to CERT C), structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards, and cybersecurity standards including CWE, SAE J3061, and IEC 62443-4-1.

Login or register to view
Safety and Security – You can’t bolt on security, but have to design it in

Short video to show how Safety and Security are similar. Uses the eBike example as an analogy to show that you can’t bolt on security, but have to design it in.

Click to view
SEGGER Embedded Studio for ARM with the LDRA tool suite: Software engineering for functional safety
Protected

See SEGGER Embedded Studio for ARM and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
SEGGER Embedded Studio for RISC-V with the LDRA tool suite: Software engineering for functional safety
Protected

See SEGGER Embedded Studio for RISC-V and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Using Siemens Polarion REQUIREMENTS with the LDRA tool suite
Protected

This video was created to provide an overview demonstration of using Siemens Polarion REQUIREMENTS with the LDRA tool suite.

Login or register to view
Significance of MC/DC for DO-178 Certification
Protected

Login or register to view
Silicon Labs Simplicity Studio with the LDRA tool suite: Software engineering for functional safety
Protected

See Silicon Labs Simplicity Studio and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Software engineering: Data coupling and control coupling
Protected

Confirming correct data coupling and control coupling is important because it can uncover issues in the software. It is called out in functional safety standards including DO-178C and ISO 26262. This video demonstrates the principles, using MathWorks Simulink and the LDRA tool suite to do so.

Login or register to view
Software engineering: Measuring structural coverage of assembly code
Protected

See how LDRA’s Assembler tool suite helps meet the objectives of standards for functional safety (IEC 61508, ISO 26262, IEC 62304, DO-178C…) and secure coding (SAE J3061, DO-326A, IEC 15408) by measuring structural coverage of assembly code. The example references ARM assembly code running on a Texas Instruments TMS570 CPU.

Login or register to view
Software engineering: Robustness testing for safety and security
Protected

In general, standards for functional safety (IEC 61508, ISO 26262, IEC 62304, DO-178C…) and secure coding (SAE J3061, DO-326A, IEC 15408) dictate that requirements-based testing should take place, and that structural coverage analysis should reach a defined level. Unit test-based robustness testing can help by exposing run time errors, particularly those that are dependent on the run-time environment and therefore impervious to any static analysis based technique. This video demonstrates that principle using the LDRA tool suite.

Login or register to view
Software engineering: Structural Coverage on a Multi-Threaded IOT Application
Protected

See how structural coverage can be measured on a multi-threaded wifi enabled application. Cybersecurity standards such as CWE recommend that structural coverage analysis is completed on security critical applications, to ensure that all requirements are covered and that there is no surplus code that could represent a back door method. Here’s how.

Login or register to view
Software engineering: Verifying high level tests
Protected

This video demostrates the execution of a series of high level tests, showing that high level requirements are verified and that corresponding sections of the source code have been executed. Afterwards the structural coverage can be viewed. In general, standards for functional safety (IEC 61508, ISO 26262, IEC 62304, DO-178C…) and secure coding (SAE J3061, DO-326A, IEC 15408) dictate that requirements are traced through design and development artefacts to application code, and vice versa. Automating the traceability makes that far easier to manage, especially when requirements change. The video uses the LDRA tool suite to demonstrate that.

Login or register to view
ST STM32Cube IDE with the LDRA tool suite: Software engineering for functional safety
Protected

See ST STM32Cube IDE and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
Synopsys ARC MetaWare Development Toolkit with the LDRA tool suite: Software for functional safety
Protected

See the Synopsys ARC MetaWare Development Toolkit and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
TASKING VX toolset Demonstration with the LDRA tool suite
Protected

This video shows how the LDRA tool suite can be used with the TASKING VX toolset for a C166 cpu in order to do static analysis, unit testing and dynamic analysis.

Login or register to view
Unit and robustness testing with Texas Instruments Code Composer, TMS320F28335, and the LDRA tool suite
Protected

See unit and robustness testing performed with Texas Instruments Code Composer Studio, a TMSF28335 target, and the LDRA tool suite.

Login or register to view
TI Code Composer Studio and TMS570 with LDRA tool suite: Software Engineering for Functional Safety
Protected

See TI Code Composer Studio and TMS570 with the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
TI Code Composer Studio V5 Demonstration with the LDRA tool suite
Protected

This video shows how the LDRA tool suite integrates into the Texas Instruments Code Composer Studio V5 IDE allowing developers to perform code reviews, quality reviews, dynamic analysis and unit testing on their code.

Login or register to view
Software engineering: Unit testing without a debugger
Protected

Login or register to view
Unit Testing with the LDRA tool suite
Protected

This video shows how the TBrun can be used to perform unit testing on code. In this case TBrun is run after having performed dynamic analysis in order to achieve 100% statement, 100% branch and 100% MC/DC coverage.

Login or register to view
Visual Studio 2010 Express Legacy Code Demonstration with the LDRA tool suite
Protected

This video shows how a custom programming standard can be created to help in analysing and understanding existing source code. It also shows how dynamic analysis can be used to perform structural coverage on the code and in the process identifying potential dead code.

Login or register to view
Wind River Simics and the LDRA tool suite: Static analysis, structural coverage, and unit testing
Protected

See Wind River Simics combine with the LDRA tool suite to automate static analysis, structural coverage, and unit test techniques to verify and improve the quality of embedded application software. These best practices are a common requirement of functional safety standards including IEC 61508, ISO 26262, IEC 62304, and DO-178C. Where cybersecurity is a more pressing concern, they enable “shift left” testing by automating the SAST and DAST techniques required to comply with SAE J3061, DO-326A, IEC 15408, and other standards that promote secure coding.

Login or register to view
Wind River VxWorks7 with the LDRA tool suite: Software engineering for functional safety
Protected

See Wind River VxWorks7 and the LDRA tool suite automate the static analysis, structural coverage, and unit test techniques demanded by IEC 61508, ISO 26262, IEC 62304 and DO-178C and other functional safety standards.

Login or register to view
FREE 30 Day
TRIAL

Email Us

Email: info@ldra.com

Call Us

EMEA: +44 (0)151 649 9300

USA: +1 (855) 855 5372

INDIA: +91 80 4080 8707

Connect with LDRA