Project 2 - Development of TFT Cluster Speedometer Software Component

Aim: To Develop the Simulink model based on the given requirements and also create SLDD file and link the same to the model. And Perform the complete V workflow for the model.

Requirements:

• 1.1 Calculating TFT Display Speed

  Average Vehicle Speed would be displayed only if its between 2 kmph & 250 kmph. Any value outside this range will be discarded by its lower limit & upper limit

  When Average Vehicle Speed is < 2 kmph, DisplaySpeed = 2 kmph

  When Average Vehicle Speed is in between 2 kmph & 250 kmph, DisplaySpeed = Average Vehicle Speed

  When Average Vehicle Speed is > 250 kmph, DisplaySpeed = 250 kmph

  1.2 Main Data Filtering

  Main Data Filtering subsystem will be activated for every 10th millisecond

  DisplaySpeed1 (t) = ((DisplaySpeed (t) x 0.65)/ Main Filter Speed Value) 0.05

  1.3 Auxiliary Data Filtering

  Auxiliary Data Filtering subsystem will be activated for every 10th millisecond

  DisplaySpeed_Filter (t) = ((DisplaySpeed1 (t) x 0.78)/ Auxillary Filter Speed Value) - 0.03

  1.4 TFT Speed Output

  If |(DisplaySpeedFilter - DisplaySpeed)| > 1.5

  {

  Vehicle Speed Display = DisplaySpeed

  }

  else

  {

  Vehicle Speed Display = DisplaySpeed Filter

  }

1.Simulink Model:

2.SLDD File Creation:

3. Requirement Tagging report:

4. Model advisor - JMAAB compliance report:

5. Fixed Point Tool:

6.SLDV Design error detection report:

7.Functional test case, MIL, SIL harness, coverage Reports:

• Functional Test Cases:

• Model In Loop Testing:

Output:

• Software In Loop:

8.SLDV test generation :

9. Auto-code generation report:

10. Poly space analysis report / outputs

• Polyspace Bug Finder

Steps-

• Open Polyspace and create a new project by clicking on Start a new project.
• Give the project name and it should be same as simulink model name. and set the folder location where the matlab workspace to save the file.
• After this click next option and choose the source folder where my .c file is generated.and you may add some additional file if you have otherwise you need not Add. and then click on finised.
• All the .c file and other file automatically generated in the project browser in the polyspace.
• Now we configuring the project by Set the Target & compiler option, in this set target Processor type as x86_64 and Compiler as generic.
• Then goto Coding Standard and Coding Metrics and enable the MISRA C:2004 option.
• Then go to Bug Finder Analysis, Choose default in Find defect option.
• Then goto Report, and enable the generate report and choose the format as you want.
• Then save it and Now goto Run the polyspace Bug Finder and then showing the result Details, like Code covered by analysis and defect find.

Polyspace Code prover:

Steps :

• Open Polyspace and see the results of the project is store see in the project browser.
• Update the configuration settings, goto target & Compiler--> Environment settings and enable(Disable) the stop analysis if a file does not compile option.
• Then goto the Code Prover Verification-->Check Behavior and click on Allow negative operand for left shifts option and also click on Consider non finite floats.
• Then goto precision , check precision level is 2. and then saving this.
• Now goto Run it code prover mode and once it run the project then automatically generate the results called as cp_Result see in the project Browser.

11.Test manager reports – baseline & back-to-back testing

• Baseline Test for the model:

• Back-to-Back Test for the Model:

Model Output Result: