Project 1 - Wiper control system and Vehicle speed calculation for ABS using Wheel Speed sensor

Question 1

AIM :- Develop Simulink model for Wiper Control System Component as per given requirements and Perform the complete V and V workflow for the obtained model

OBJECTIVE :- Perform Complete Verification And Validation Work Flow

1. DEVELOPED MODEL :-

2. SLDD :-

3. Requirements :-

• Requirement Tagging :-

• Requirement Tagging Report :-

• Requirements Tagged To The Model :-

4. Fixed Point Tool :-

• Changes In SLDD After Fixed Point Tool :-

5. JMAAB Checks :-

• JMAAB Checks Report :-

6. SLDV Design Error Detection :-

• Compatibility Of Model :-

• Design Error Detection Report Summary :-

7.Functional Testing :-

• Coverage Setting :-

• Signal Builder Output :-

• Test Cases :-

7.1 MIL Test :-

• Harness Model :-

• Coverage Highlights :-

• Data Inspector Output :-

• MIL Test Report Summary :-

7.2 SIL Test :_

• Harness Model :-

• Coverage Highlights :-

• Data Inspector Output :-

• SIL Test Report Summary :-

8. SLDV Test Generation :-

• SLDV Test Generation Advisor :-

• SLDV Test Generation Report Summary :-

9. Polyspace Static Code Analysis

• Auto Code Generation Using Embedded Coder :-

In MATLAB 2021a Version the Polyspace Tool is not available. that why i have only write the step in below.

1. Bug Finder :

• Initially, open the Polyspace in that new project click on start new project.
• The Project Properties dialogue box will open in that give the project name as we saved in the MATLAB,then select the location where it we need to save after that click Next or use the default location.
• Then ,it asks for the Projrct source,click on browserand select the folder where th .c file are generated then optionally we can add the include folder then clock on finish,the polyspace environment will open.
• In the configuraton settings option called Target & compiler select the source code language as c,change the target processor as X86_64.
• In the coding standards & code Metrics in that enable the check MISRA C:2004 also select the calculate the code metrics option
• After that go to bug finder analysis under that select the default one.
• Go to reporting enable the generate report option and ouput formet as PDF or any file we need
• Finally save the polyspace and run the Bug Finder.

2. Code Prover :

• Befour going to the Code Prover First setup the Configration setting.
• In Configuration go to the Code prover verification and under code prover verification option.
• Click on the Check Behavior and Enable the option (i,e Allow Negative Operand for left shifts). and also click on the Consider Non-Finite floats.
• Then After you go to the Precision
• In Precision Select the Precision level -2 and Verification Level is Software Safety Analysis Level-2.
• then After Click on Save Botton the Configration setting will be save.
• then After We Run the Code Prover.
• And After Click on the Dashboard option and see the Results.

10. Baseline Testing :-

• Baseline Window :-

• Auto Generated Test By Tool :-

• Updating Test cases by previous data sets :-

• Baseline test result :-

• Baseline test report summary :-

11. Back To Back Test :-

• Test Suit Window :-

• Simulation 1 Harness Model :-

• Simulation 2 Test Harness Model :-

• Back To Back Test Results :-

• Back To Back Test Report Summary :-

Conclusion :- We had developed Simulink model for Wiper Control System on the basis of given requirements and also performed complete V and V workflow on Developed Model.

Question 2

AIM :- Develop Simulink model for .Vehicle speed calculation for ABS using Wheel Speed sensor as per given requirements and Perform the complete V and V workflow for the obtained model

OBJECTIVE :- Perform Complete Verification And Validation Work Flow

1. DEVELOPED MODEL :-

2. SLDD :-

3. Requirements :-

• Requirement Tagging :-

• Requirement Tagging Report :-

• Requirements Tagged To The Model :-

4. Fixed Point Tool :-

• Changes In SLDD After Fixed Point Tool :-

5. JMAAB Checks :-

• JMAAB Checks Report :-

6. SLDV Design Error Detection :-

• Compatibility Of Model :-

• Design Error Detection Report Summary :-

7. Functional Testing

• Coverage Setting :-

• Signal Builder Output :-

• Test Cases :-

7.1. MIL Test :-

• Harness Model :-

• Coverage Highlights :-

• Data Inspector Output :-

• MIL Test Report Summary :-

7.2. SIL Test

• Harness Model :-

• Coverage Highlights :-

• Data Inspector Output :-

• SIL Test Report Summary :-

8. SLDV Test Generation :-

• SLDV Test Generation Advisor :-

• SLDV Test Generation Report Summary :-

9. Polyspace Static Code Analysis

• Auto Code Generation Using Embedded Coder :-

In MATLAB 2021a Version the Polyspace Tool is not available. that why i have only write the step in below.

1. Bug Finder :

• Initially, open the Polyspace in that new project click on start new project.
• The Project Properties dialogue box will open in that give the project name as we saved in the MATLAB,then select
• the location where it we need to save after that click Next or use the default location.
• Then ,it asks for the Projrct source,click on browserand select the folder where th .c file are generated then
• optionally we can add the include folder then clock on finish,the polyspace environment will open.
• In the configuraton settings option called Target & compiler select the source code language as c,change the
• target processor as X86_64.
• In the coding standards & code Metrics in that enable the check MISRA C:2004 also select the calculate the code metrics option
• After that go to bug finder analysis under that select the default one.
• Go to reporting enable the generate report option and ouput formet as PDF or any file we need
• Finally save the polyspace and run the Bug Finder.

2. Code Prover :

• Befour going to the Code Prover First setup the Configration setting.
• In Configuration go to the Code prover verification and under code prover verification option.
• Click on the Check Behavior and Enable the option (i,e Allow Negative Operand for left shifts).
• and also click on the Consider Non-Finite floats.
• Then After you go to the Precision
• In Precision Select the Precision level -2 and Verification Level is Software Safety Analysis Level-2.
• then After Click on Save Botton the Configration setting will be save.
• then After We Run the Code Prover.
• And After Click on the Dashboard option and see the Results.

10. Baseline Testing :-

• Baseline Window :-

• Auto Generated Test By Tool

• Updating Test cases by previous data sets :-

• Baseline test result :-

• Baseline test report summary :-

11. Back To Back Test

• Test Suit Window :-

• Simulation 1 Harness Model :-

• Simulation 2 Test Harness Model :-

• Back To Back Test Results :-

• Back To Back Test Report Summary :-

Conclusion :- We had developed Simulink model for .Vehicle speed calculation for ABS using Wheel Speed sensor on the basis of given requirements and also performed complete V and V workflow on Developed Model.