Contents

Index

• Getting Started

• Managing Model Requirements

• Managing Requirements with DOORS Software

• Managing Model Verification Blocks

• Using Model Coverage

• Customizing the Model Advisor

• Model Advisor Checks

• MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow

• Modeling Guidelines for High-Integrity Systems

• Introduction

• Block-Specific Considerations

Math Operations

Ports & Subsystems

Logic and Bit Operations

• Configuration Parameter Considerations

• Release Notes

Learn more about Simulink Verification and Validation

Modeling Guidelines for High-Integrity Systems

Introduction	Describes motivation behind the guidelines, information for each guideline, and expectations on how you use the information.
Block-Specific Considerations	Describes guidelines for block-specific considerations, including math operations, ports and subsystems, signal routing, and logic and bit operations.
Configuration Parameter Considerations	Describes guidelines for configuration parameter considerations, including solver, diagnostics, and optimization settings.

Introduction

Related Products & Applications

Get Simulink trial software

Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.

Get this Simulink Kit

© 1984-2009- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS