Use Model Advisor exclusion capability to speed up verification of Simulink and Stateflow models.
|23 Jan 2013||Linda Webb||
By Nishaat Vasi, MathWorks
As systems and software designs become more complex and design teams more geographically dispersed, there is an increasing need for consistent modeling. Modeling standards enable geographically dispersed teams to collaborate effectively on the design of complex models. The Model Advisor in Simulink Verification and Validation™ supports modeling standards by analyzing a Simulink® model for inconsistencies and providing detailed recommendations for resolving issues. Even with automation, however, running these checks on large systems can take considerable processing time and effort. One solution is to limit the scope of the Model Advisor analysis to certain elements of the model. Using an automobile system model as an example, this article shows how the exclusion and highlighting functionality within Simulink Verification and Validation can reduce the time taken to analyze and fix inconsistencies in models.
|model advisor||Linda Webb||23 Jan 2013 at 10:52am|
|model exclusion||Linda Webb||23 Jan 2013 at 10:52am|
|modeling standards checks||Linda Webb||23 Jan 2013 at 10:52am|
|do-178c||Linda Webb||23 Jan 2013 at 10:52am|
|iec 61508||Linda Webb||23 Jan 2013 at 10:52am|
|iso 26262||Linda Webb||23 Jan 2013 at 10:52am|
|maab style guidelines||Linda Webb||23 Jan 2013 at 10:52am|
|modeling standards||Linda Webb||23 Jan 2013 at 10:52am|
|modeling||Linda Webb||23 Jan 2013 at 10:52am|
|verification||Linda Webb||23 Jan 2013 at 10:52am|