Version 2.4 (R2008b) Simulink Verification and Validation Software :: Simulink Verification and Validation Release Notes (Release Notes)

Learn more about Simulink Verification and Validation

Version 2.4 (R2008b) Simulink Verification and Validation Software

This table summarizes what's new in Version 2.4 (R2008b):

New Features and Changes	Version Compatibility Considerations	Fixed Bugs and Known Problems	Related Documentation at Web Site
Yes Details below	No	Bug Reports Includes fixes	Printable Release Notes: PDF Current product documentation

New features and changes introduced in this version are:

New and Enhanced Model Advisor Checks

Context-sensitive help is now available for all Model Advisor checks.

DO-178B Checks

The DO-178B Check subcategory includes these new and enhanced checks:

Check safety-related diagnostic settings for saving — This new check helps enforce and document adherence to coding standards for DO-178B, Software Considerations in Airborne Systems and Equipment Certification.
Check safety-related diagnostic settings for signal data — This check now checks whether the parameter SignalRangeChecking is set to error.
New Action box for the following checks that you can use to automatically fix failures:
- Check safety-related optimization settings
- Check safety-related diagnostic settings for solvers
- Check safety-related code generation settings
- Check safety-related diagnostic settings for compatibility
- Check safety-related diagnostic settings for bus connectivity
- Check safety-related diagnostic settings for signal connectivity
- Check safety-related diagnostic settings for data store memory
- Check safety-related diagnostic settings for data used for debugging
- Check safety-related diagnostic settings for parameters
- Check safety-related diagnostic settings for signal data
- Check safety-related diagnostic settings that apply to function-call connectivity
- Check safety-related diagnostic settings for model referencing
- Check safety-related model referencing settings
- Check safety-related diagnostic settings for sample time
- Check safety-related diagnostic settings for type conversions
- Check safety-related diagnostic settings for saving

For more information, see DO-178B Checks in the Simulink Verification and Validation documentation.

IEC 61508 Checks

The IEC 61508 Checks subcategory includes a new check, Check usage of Stateflow, that helps enforce and document compliance with coding standards for functional safety in electrical, electronic, and programmable electronic systems, as the IEC 61508 standard outlines.

For more information, see IEC 61508 Checks in the Simulink Verification and Validation documentation.

MathWorks Automotive Advisory Board Checks

The MathWorks Automotive Advisory Board Checks subcategory includes new checks that have been implemented to support the MathWorks Automotive Advisory Board (MAAB) 2.0 rules:

Check for difference in font and font sizes
Check Transition orientations in Flowcharts
Check for display of non-default block attributes
Check for proper labeling on Signal lines
Check for propagated labels on Signal lines
Check default Transition placement on Stateflow Charts
Check setting Stateflow Graphical Function return value
Check for proper use of Switch Blocks
Check for proper use of Signal Busses and Mux block usage

For more information, see MathWorks Automotive Advisory Board Checks in the Simulink Verification and Validation documentation.

Improved Selection-Based Linking

To create links between a model and a Microsoft^® Word or Microsoft^® Excel^® file, you can open the file from within both the model and the requirements document. The Requirements Management Interface (RMI) establishes communication with the appropriate application when you initiate selection-based linking.

For more information, see in the Simulink Verification and Validation documentation.