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

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).

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).