AUTOMOTIVE MICROCONTROLLER MODEL-BASED PRODUCT ARCHITECTURE VERIFICATION USING MATLAB SIMULINK TEST HARNESS

The thesis concentrates on the early-stage verification of model-based product architecture for Automotive Microcontrollers. Pre-Silicon verification of product architecture eliminates the chances of callbacks of the products due to crucial bugs after production hence minimalizing the losses for the organization. For the development of the test suite, a theoretical analysis is conducted to discover the best approach for developing the test suite. From the mathematical analysis of systems, some formulas are derived. Using these formulas, the best method and effort required to design and carry out a verification process is finalized. Matlab's Simulink state flow diagram is used to develop the product architecture. Matlab's Simulink test harness feature is used to develop the test suite, and the continuous integration is achieved using the Matlab unit test framework, bitbucket, and Jama. The Application and the input files are stored in a Bitbucket repository, and the execution is performed using Jama.