bat365 Homepage

Getting Started with Verification and Validation

Explore examples, articles, and tutorials.

Getting Started Examples
Requirements Traceability and Analysis
Functional Testing
Certification Standards Compliance
Design Error Detection

Requirements Based Testing Workflow Example

Managing Requirements and Advanced Model Checks Workflow Example

Getting Started Examples

Requirements-Based Testing Workflow Example

This example workflow shows users how to get started with systematic, requirements-based testing using Simulink.

GitHub

Managing Requirements and Advanced Model Checks Workflow Example

This example shows you how a designer would get started with bat365 model verification and validation tools. It walks you through how to manage and view requirements in Simulink, run checks for compliance to modeling standards, and check for run-time errors. The example uses Requirements Toolbox, Simulink Check, and Simulink Design Verifier.

GitHub

Requirements Traceability and Analysis

What Is Requirements Toolbox?

Requirements Toolbox lets you author, import, and validate requirements within MATLAB and Simulink, track their implementation and verification status, and quickly respond to requirements changes.

Video

Link to Test Cases from Requirements

If you have Simulink Test and Requirements Toolbox, you can link your requirements to test cases in the Test Manager. Linking to tests lets you see how requirements are confirmed with tests.

Documentation

Verify Requirements with Temporal Assessments in Simulink Test

Author temporal assessments for tests with Simulink Test to verify complex timing-dependent requirements. You can use a natural language format with unambiguous semantics to specify the assessments.

Video

Functional Testing

What Is Simulink Test?

Develop, manage, and execute simulation-based tests using Simulink Test.

Video

Why You Should Collect Model Test Coverage Metrics

Using a triplex selection algorithm as an example, this article shows how model test coverage can be used to identify missing requirements during requirements-based testing.

Article

What Is Simulink Coverage?

Measure test coverage in models and generated code using Simulink Coverage.

Video

Code Coverage for Models in Software-in-the-Loop (SIL) and Processor-in-the-Loop (PIL)

If you have Embedded Coder and Simulink Coverage, you can analyze coverage for generated code during a software-in-the-loop (SIL) or processor-in-the-loop (PIL) simulation.

Documentation

Isolating Troubling Behavior with Model Slicer

Debug complex designs faster by highlighting functional dependencies and producing a simplified model with the Model Slicer feature in Simulink Design Verifier.

Video

Certification Standards Compliance

Verifying Models and Code for High-Integrity Systems

This article describes a verification workflow based on Simulink. Topics covered include creating test cases, generating test cases for missing model coverage, and measuring code coverage.

Article

How to Define Custom Edit-Time Checks

Learn how to author your own custom Model Advisor checks that run during edit-time with Simulink Check.

Video

Analyze a Model for Standards Compliance and Design Errors

During model development, check and analyze your model to increase confidence in its quality. Check your model against standards such as MAB style guidelines and high-integrity system design guidelines such as DO-178 and ISO 26262.

Documentation

Collect Compliance Data and Explore Results in the Model Advisor

This example shows how to collect model metric data by using the Metrics Dashboard.

Example

Improving Reuse with Clone Detection and Refactoring

Use Simulink Verification and Validation to identify duplicate patterns in a model and refactor into reusable components.

Video

Model Quality Objectives

Learn about Model Quality Objectives (MQO), which have been defined by leaders from the automotive industry and bat365. This standard provides quality objectives for Simulink models at different phases of the software development lifecycle.

White Paper

Design Error Detection

What Is Simulink Design Verifier?

Identify design errors, generate test cases, and verify designs against requirements using Simulink Design Verifier.

Video

Getting Started With Simulink Design Verifier

Identify design errors, prove requirements compliance, and generate tests.

Documentation

Design Error Detection

This example shows how to detect nonfinite, NaN, and subnormal floating-point values in the sldvexFloatingPointErrorChecks example model. The model consists of floating-point arithmetic operations that result in an error. Perform design error detection analysis to detect these errors in the model.

Documentation

Analyze the Dead Logic

This example shows how to refine the model for dead logic. The sldvSlicerdemo_dead_logic model consists of dead logic paths that you refine for dependency analysis.

Documentation