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
Dec 9, 2018
https://youtu.be/M_d-K4yE_n4 Made on Cadence pathways (camera Sean) Monday: ICCAD and Open-Source CAD Tuesday: Clayton Christensen on the Prosperity Paradox Wednesday: Benedict's Christmas... [[ Click on the title to access the full blog on the Cadence Community site. ]...
Dec 7, 2018
That'€™s shocking! Insulation Resistance and Dielectric Withstanding Voltage are two of the qualification tests that Samtec performs in-house during part qualification testing. These tests will ensure that when a connector is used in environmental conditions at the rated wo...
Nov 28, 2018
Wearable tech is officially the next big innovation in technology, and its popularity has skyrocketed in the past few years. It seems like every few months......
Nov 14, 2018
  People of a certain age, who mindfully lived through the early microcomputer revolution during the first half of the 1970s, know about Bill Godbout. He was that guy who sent out crudely photocopied parts catalogs for all kinds of electronic components, sold from a Quon...