editor's blog
Subscribe Now

Certifying Models

There’s not much new about using models to start the design of a complex system. From an algorithmic standpoint, Matlab forms the basis for high-level design, and Simulink allows for the next step of modeling such a system in a more concrete fashion.

When the model is ready for detailed implementation, code can be generated for use downstream.

But, if you’re working on a piece of equipment intended for a safety-critical application, or, for whatever reason, some other usage subject to one of the many software standards, how do you know that the generated software will pass muster? How can you document that you did the requisite testing before moving forward?

LDRA and Simulink have moved to address this question by integrating LDRA’s software certification tools into Simulink. This allows for instrumentation of the code for analysis by LDRA’s certification engine. There are a variety of standards that can be selected as well as a number of different code coverage models.

This approach anticipates greater attention to model-driven design in standards updates such as DO-178C.

More info in LDRA’s press release

Leave a Reply

featured blogs
Mar 27, 2023
Spectre EMIR, the simulation engine inside Voltus-XFi, provides the IR drop and EM current analyses. In reviews of the reported customer problems, it turns out that many Spectre EMIR problems can be avoided by proper preparation and setup. The most common problem Spectre EMIR...
Mar 23, 2023
Explore AI chip architecture and learn how AI's requirements and applications shape AI optimized hardware design across processors, memory chips, and more. The post Why AI Requires a New Chip Architecture appeared first on New Horizons for Chip Design....
Mar 10, 2023
A proven guide to enable project managers to successfully take over ongoing projects and get the work done!...

featured video

First CXL 2.0 IP Interoperability Demo with Compliance Tests

Sponsored by Synopsys

In this video, Sr. R&D Engineer Rehan Iqbal, will guide you through Synopsys CXL IP passing compliance tests and demonstrating our seamless interoperability with Teladyne LeCroy Z516 Exerciser. This first-of-its-kind interoperability demo is a testament to Synopsys' commitment to delivering reliable IP solutions.

Learn more about Synopsys CXL here

featured chalk talk

EiceDRIVER™ F3 Enhanced: Isolated Gate Driver with DESAT
Sponsored by Mouser Electronics and Infineon
When it comes to higher power applications, galvanically isolated gate drivers can be great solution for power modules and silicon carbide MOSFETS. In this episode of Chalk Talk, Amelia Dalton and Emanuel Eni from Infineon examine Infineon’s EiceDRIVER™ F3 Enhanced isolated gate driver family. They take a closer look at advantages of galvanic isolation and the key features and benefits that this gate driver family can bring to your next design.
Sep 12, 2022
23,423 views