Project on Wiper control system and Vehicle speed calculation for ABS using Wheel Speed sensor
Answer :
Wiper control system :
Aim : To Develop Simulink Model For Wiper Control System Based on the Given Conditions
Description of Challenge :
1. If the density of the rain is low, then wiper rotates with low speed, the output signal should be 100rpm.
2. If the density of the rain is medium, then wiper rotates with low speed, the output signal should be 200rpm.
3. If the density of the rain is high, then wiper rotates with low speed, the output signal should be 500rpm.
1) Model Development :
Subsystem :
No Rain Subsystem :
Low Rain Susystem :
Medium Rain Subsystem :
High Rain Subsystem :
2) Simulink Data Dictionary (SLDD) :
3) Requirement Tagging :
Create the Functional and SwReq File into the xls. File.
Click On the New Requirement Set :
After That Click on the Add Requirement :
Linking the Requirement :
Link to the Subsystem
Requirement Report :
4) Model Advisor (JMAAB) :
Going to the Simulink Model >> Click on the Modelling >> Model Advisor.
5) Fixed Point Tool :
Run thee Model Error Free >> and then Click on the Fixed Point Tool >> Iterative Fixed-Point Conversion.
Simulation Model :
Simulink Data Dictionary(SLDD) Before Applying the Fixed point Tool:
Block Before Applying Fixed Point Tool
Procedure to Start the Fixed Point Tool :
Collect Ranges using Current Settings
After Applying The Fixed Point Tool :
Simulink Data Dictionary (SLDD) After Applying the Fixed Point Tool:
6) SLDV Design Error Detection Report :
Goto the Model >> Open the Design Verifier App >> Select the Design Error Detection >> then Click on Design Error Detection Setting.
Design Error Detection Report :
7) Functional Test Cases, MIL, SIL Harness, Coverage Report :
Simulink Model :
Functional Test Cases :
Model in Loop (MIL) :
Signal Builder Waveform :
MIL Output :
MIL Coverage Report :
Software in Loop (SIL) :
Signal Builder Waverform :
SIL Output :
SIL Coverage Report :
Code Generated :
8) SLDV Test Generation Report :
Goto the Model Run the model Error Free >> App >> Desgin Verifier >> Click one the Test Generation
Click on the Test Generation Setting
Result Summary of Test Generation :
Report :
9) Auto Code Generation main .c & .h Files :
Code Report :
.c File :
10) Polyspace Analysis Report/ Output :
Procedure to Analysis the Polyspace Report
Bug Finder :
- Firstly Generated the .C code
- 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.
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.
11) Test Generation Report- Baseline and Back to back Testing :
Baseline Testing :
Run the model>> goto the Simulink Test >>Click on the Simulink Test Manager >> then Click on New >> Test File>> Create Test Name.
Click on the Requirement
then after Click one the System Under Testing
Click on the Input
then after click on the Baseline Criteria and click on the Capture
Click on the Coverage Setting >> Click on Enable Option.
then After Save and Run it.
Results :
Baseline Criteria Results :
Baseline Criteria Output :
Baseline Testing Report :
Back To Back Testing :
Click on the Simulink Test Manager
Click on New
Generated MIL And SIL Model :
Click on the Requirement
then After Click on the System under test and harness are link automatically.
then Click on the Input and enable it.
after that click on coverage Setting and Enable the Coverage.
and Save and Run it.
Results :
Equivalence Criteria Result :
Back to back testing Report :
---------------------------------------------------------------------------------------------------------------------------------------------
2. Vehicle speed calculation for ABS using Wheel Speed sensor
Aim : Develop Simulink/state flow model for the vehicle speed calculation unit inside the ABS system for the below conditions.
1) Simulink Model :
Subsystem :
2) Simulink Data Dictionary(SLDD) :
3) Requirement Tagging :
Create the Functional and SwReq into the .xls files.
Click on New Requirement Set
After that Click on the Add Requirement
Linking the Requirement:
Requirement Report :
4) Model Advisor (JMAAB) Report :
going to Simulink model >> Click o Modelling >> Click on the Model Advior.
5) Fixed-Point Tool :
Run the model Error Free then Goto the >> App>> Click on the Fixed point Tool.
Simulink Model :
Simulink Data Dictionary(SLDD) Before applying Fixed Point Tool
Blocks Before applying fixed point tool :
Procedure to Start Fixed-Point Tool :
Apply Data Type
After Applying the Fixed-Point Tool
SLDD After Applying Fixed-Point Tool
6) SLDV Design Error Detection Report :
Goto the Model >> Click on the App>> Select the Design Verifier >> Design Error Detection>> Design Error Detection Setting.
Simulink Model :
Design Error Detection Report :
7) Functional Test Cases, MIL,SIL Harness, Coverage Report :
Functional Test Cases :
Simulink Model :
Signal Builder Waveform :
MIL Model :
MIL Scope Output :
MIL Coverage Report :
Coverage Report :
SIL Model :
Signal Builder Waveform :
SIL Output :
SIL Coverage Output :
SIL Coverage Report :
Code Generated after Running Model :
8) SLDV Test Generation Report :
Goto the Model Run the model Error Free >> App >> Desgin Verifier >> Click one the Test Generation.
Simulink Design Verifier Test Generation : Advisor
SLDV Report :
9) Auto code Generation main .c & .h Files :
Generated Code:
10) Polyspace Analysis Report/Output :
Procedure to Analysis the Polyspace Report
Bug Finder :
- Firstly Generated the .C code
- 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.
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.
12) Test Manager Report-Baseline & Back to Back Testing :
Baseline Testing :
Run the model>> goto the Simulink Test >>Click on the Simulink Test Manager >> then Click on New >> Test File>> Create Test Name.
Click on the Simulink Test Manager.
Click on the New
after that Click on the Requirement and Link the Requirement
then after Click one the System Under Testing
Click on the Inputs
After that Click on the Baseline Criteria
Click on the Coverage Setting and Enable the Coverage
then Save And Run it.
Results :
Baseline Criteria Results :
Baseline Generated Report :
Back To Back Testing :
Going to Model and run the model with Error >> Click on the App>> then Click on the Simulink Test>> Simulink Test Manager >> Click on New >> After that Click on the >> Test For Model Component.
Generated MIL and SIL Model :
Click on the Requirement >> Add Requirement
Click on the System Under Test
Click on the Coverage Setting and Enable the Coverage
Then Save and Run it.
Results :
Equivalence Criteria Results :
Iteration: 1
Back to Back Testing Report :
All Results and Files Are attached in below.