Cookie Warning

This site uses cookies to help improve your experience

Please follow the link to find out more about cookies. Learn more

I understand
 

Esterel Technologies

Integration of the LDRA tool suite and the Esterel SCADE Suite

LDRA and Esterel Technologies combine tool suites to provide support for a qualifiable integrated Model Based Development and Testing environment for safety-critical embedded software.

The Esterel SCADE® suite enables development teams to graphically design, verify, and automatically generate critical systems and software applications with high dependability requirements. SCADE solutions easily integrate, allowing for development optimisation and increased communication among team members.

LDRA and Esterel Technologies combine tool suites to provide support for a qualifiable integrated Model Based Development and Testing environment for safety-critical embedded software.

To ensure testing is consistent across the development lifecycle, SCADE test cases can be exported and reused within the LDRA unit testing solution - TBrun®.

Benefits

LDRA provides a comprehensive solution for model-based development through verification. From the verification perspective, LDRA offers a complete host- and target-based testing environment for legacy code, hand-written code, and Esterel SCADE model-generated code.

LDRA and Esterel Technologies combine the strength of their respective tool suites to provide a full SCADE model-based testing environment and bring the following benefits to safety-critical systems development:

  • Accelerated development processes with an integrated test environment which together combine to reduce costs and time-to-market and increase quality;
  • Automated model based test execution in both host and target environments;
  • Test coverage measurement at the model, code and object levels;
  • Significantly reduced time and effort to address DO-178B/C, IEC 61508, and EN 50128 compliance.

Esterel partner graphic 2

For more information on TBrun, click here

LDRA and Esterel Integration Press Release

Model-based applications developed with SCADE Suite can now be automatically passed to TBrun®, the unit testing component in the LDRA tool suite, which ensures that the embedded application is running as expected on the target. The same tests can automatically be reused on both host and target, significantly reducing the effort typically used to generate and prove tests during both phases of development and final verification on target. Read More

Company Overview

Esterel Technologies is the leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial domains. System and software engineers use Esterel SCADE® solutions to graphically design, verify, and automatically generate critical systems and software applications with high dependability requirements. SCADE solutions easily integrate, allowing for development optimization and increased communication among team members.