Executive Programs

Workshops

Projects

Blogs

Careers

Find Jobs

For Business / Universities

Corporate Training

Hire from US

Academic Up-skilling

All Courses

Choose a category

All Courses

Software Verification and Validation and System Testing for Model-Based Development

Advances in engineering require engineers with expertise in verification and validation in software testing. Develop advanced Simulink and MATLAB models in a system testing course designed by industry experts.

12 weeks long course | 100% Online

Learn from leading experts in the industry

Project based learning with 2 industry level projects that learners can showcase on LinkedIn.

Learn Key Tools & Technologies MATLAB, Simulink

Syllabus

This course is full of best-in-class content by leading faculty and industry experts in the form of videos and projects

Course Overview

This course covers Embedded Software Verification and Validation Processes for Model-Based Development using MATLAB Simulink Toolchains.
The students will gain a thorough knowledge of
- Model-Based Development V Cycle
- Industry Standard Design Verification and Validation Practices
The students are exposed to the modern trends and standard practices being followed in the industry right now.
Through this course, the students will learn to perform Software Verification, Validation, and System Testing for Model-Based Development in a systematic way.

Course Syllabus

On a daily basis we talk to companies in the likes of Tata Elxsi and Mahindra to fine tune our curriculum.

Week 1 - Role of MBD as per V Cycle and ASPICE Process Overview

Introduction to Model-Based Development
Overview of Software Development Lifecycle
V Cycle in Automotive Embedded Software Development
ASPICE Process Overview
ASPICE Maturity Levels
Stakeholders in Software Engineering Process Group

Week 2 - Japanese MATLAB Automotive Advisory Board (JMAAB)

JMAAB:
- Style Guidelines Overview
- Guidelines for Model Configuration Parameters
- Guidelines for Model Architecture
- Guidelines for Naming Conventions
- Guidelines for Simulink Blocks
- Guidelines for Stateflow Blocks

Week 3 - Simulink Requirement Manager

Understanding Software Requirements and Requirement Elicitation
Introduction to Simulink Requirement Toolbox
Converting Requirements into Model
- Requirement Tagging and Traceability in MATLAB Simulink Environment
Requirement Management Offline

Week 4 - Fixed Point Toolbox in MATLAB Simulink

Introduction to:
- Fixed-Point Data Types
- Floating-Point Data Types
- Range
- Precision
- Scaling
  - Fixed Point Data Type
  - Floating Point Data Type
Defining Signal Range and Scaling Factor in MATLAB Simulink
Introduction to Fixed Point Toolbox in MATLAB Simulink

Week 5 - Control Algorithm Development for TFT Cluster Display for Speedometer

Requirement Elicitation using Requirement Manager Toolbox
Model Development as per JMAAB Guidelines
Signal and parameter Fixing using Fixed-Point Toolbox
Model Advisor Check

Week 6 - Simulink Design Verifier Toolbox

Introduction to Simulink Design Verifier Toolbox
Introduction to Different Modes of Design Verifier
- Design Error Detection
Introduction to Different Modes of Design Verifier
- Test Generation and Property Proving Methods
Analyzing SLDV Results
- Dead Logic and Falsified Conditions

Week 7 - Introduction to Testing Theories and Coverage Analysis

Difference Between Verification & Validation
Types of Functional Testing:
- Unit Testing
- Functional Testing
- Integration Testing
Types of Coverage and Coverage Analysis Report
Functional Test Criteria Creation Process

Week 8 - Model in Loop Validation

Introduction to Model in Loop Validation
Analyzing Simulink Test Report
Test Automation Creation and Test Coverage using Simulink Design Verifier

Week 9 - Polyspace Static Code Analysis

Introduction to Polyspace Static Code Analysis
Polyspace Bug Finder Overview
Polyspace Code Prover Overview
Functional Validation using Software in Loop

Week 10 - Simulink Test Manager Toolbox

Introduction to Simulink Test Manager Toolbox
Setting up Simulink
- Test File
- Test Suite
Automating Test Reports Creation using Simulink Test Manager
Baseline Testing and Back to Back Testing using Simulink Test Manager

Our courses have been designed by industry experts to help students achieve their dream careers

Industry Projects

Our projects are designed by experts in the industry to reflect industry standards. By working through our projects, Learners will gain a practical understanding of what they will take on at a larger-scale in the industry. In total, there are 2 Projects that are available in this program.

TFT Cluster Speedometer Display

Students are required to consider the vehicle speed CAN input, and apply a standard vehicle speed averaging process. After averaging, the vehicle speed should be considered as one of the system inputs, based on which students will have to calculate the TFT display speed using concepts like data filtering and unit conversion. All of this is done to finally display the TFT speed output. At the end of this project, students should deliver a fixed point model and floating point model with data dictionaries, Simulink requirements report, JMAAB check report, Simulink design verifier (SLDV) check reports (both design verification and test generation), input test cases (incase if its manually written), model and code coverage reports, static code analysis report, MIL/SIL harness models, auto generated code, Simulink test manager package results (Simulink test automation results), and back to back testing results (test automation).

Coolant Temperature Meter SWC Development

Students are required to consider the engine coolant temperature signal CAN input (calculated in degrees Celsius from another ECU) and apply the standard averaging process. After averaging, the engine coolant temperature value should be taken as a system input. Students are also required to apply a comprehensive signal processing algorithm that calculates the coolant temperature value to be displayed (considering the vehicle speed and filter coefficient values). At the end of this project, students should deliver a fixed point model and floating point model with data dictionaries, Simulink requirements report, JMAAB check report, Simulink design verifier (SLDV) check reports (both design verification and test generation), input test cases (incase if its manually written), model and code coverage reports, static code analysis report, MIL/SIL harness models, auto generated code, Simulink test manager package results (Simulink test automation results), and back to back testing results (test automation).