- 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
- Home
- Skill Lync
- Courses
- Software Verification and Validation and System Testing for Model-Based Development
Software Verification and Validation and System Testing for Model-Based Development
Online
10 Weeks
₹ 40,000
Inclusive of GST
Quick facts
particular | details | |
---|---|---|
Medium of instructions
English
|
Mode of learning
Self study
|
Mode of Delivery
Video and Text Based
|
Course and certificate fees
Fees information
certificate availability
The syllabus
Week 1: Role of MBD as per V Cycle and ASPICE Process Overview
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
- 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