Comprobar la conformidad del modelo
Verifica el cumplimiento del modelo con las normas y pautas de seguridad
Para aplicar pautas de modelado en todos los proyectos y equipos de desarrollo, puede utilizar Model Advisor para ejecutar comprobaciones en su modelo. Cuando ejecuta las comprobaciones, Model Advisor revisa su modelo en busca de las condiciones y configuraciones especificadas por la comprobación.
Simulink® Check™ incluye comprobaciones de Model Advisor para el cumplimiento de los estándares de seguridad asociados con el Modelado de sistemas de alta integridad y las pautas de modelado de MathWorks® Advisory Board (MAB). Comience con Check Model Compliance by Using the Model Advisor.
Clases
Funciones
Temas
Model Advisor
- Check Model Compliance by Using the Model Advisor
Use the Model Advisor to check that a model or subsystem complies with modeling guidelines or standards. - Check Model Compliance Using Edit-Time Checking
Use edit-time checking to check that a model or subsystem complies with modeling guidelines or standards. - Use Model Advisor Configuration Editor to Customize Model Advisor
Use the Model Advisor Configuration Editor to customize the configuration of the Model Advisor checks and folders. - Generate Model Advisor Reports
Configure the Model Advisor to generate reports in additional formats. - Run Custom Model Advisor Checks on Architecture Models
Use the Model Advisor to run checks on a System Composer™ architecture model. - Exclude Blocks from Model Advisor Check Analysis
You can limit the scope of a Model Advisor model or subsystem analysis. - Programmatically Exclude Blocks from Model Advisor Check Analysis
Use MATLAB® functions to create, modify, and save Model Advisor exclusions. - Justify Model Advisor Violations from Check Analysis
Provide a rationale for why you are allowing a violation to exist in your design. - Model Advisor Considerations and Limitations
Describes limitations and considerations of Model Advisor.
Comprobaciones de Model Advisor
- Model Advisor Checks for High-Integrity Systems Modeling Guidelines
Use the Model Advisor to check that a model or subsystem complies with the High Integrity System Model modeling guidelines. - Comprobaciones de directrices de modelado de MAB
Utilice Model Advisor para comprobar que un modelo o subsistema cumple con las pautas de modelado de MathWorks Advisory Board (MAB). - Model Advisor Checks for JMAAB Modeling Guidelines
Use the Model Advisor to check that a model or subsystem complies with the Japan MathWorks Automotive Advisory Board (JMAAB) modeling guidelines. - Model Advisor Checks for ISO 26262, ISO 25119, IEC 61508, IEC 62304, and EN 50128/EN 50657 Industry Standards
Use Model Advisor checks to verify compliance with IEC 61508, IEC 62304, ISO 26262, ISO 25119, and EN 50128 industry standards. - Model Advisor Checks for DO-178C/DO-331 Industry Standards
Use the Model Advisor to check that a model or subsystem complies code that complies with DO-178C/DO-331 industry safety standards. - Model Advisor Checks for DO-254 Standard Compliance
Use the Model Advisor to check that a model or subsystem complies with parts of the DO-254 safety standard. - Model Advisor Checks for MISRA C:2012 Coding Standards
Use the Model Advisor to improve the likelihood of generating code that complies with MISRA C:2012 coding standards. - Model Advisor Checks for CERT C, SWE, and ISO/IEC TS 17961 Coding Standards
Use the Model Advisor to check that a model or subsystem complies code that complies with secure coding standards. - Model Advisor Checks for Requirements Links
Use the Model Advisor to check that every requirements link in a model has a valid target in a requirements document.
