Project 2 Adaptive Cruise Control
The requirements are converted into respective blocks and stateflow charts.
Data Dictionary is created using the given data as SLDD file.
Using model checker option , the simulink model is checked as per the selected criteria and score is obtained.
Using Embedded C code, a code file is generated but there are more bugs mentioned for which need some assistance on the bug clearance.
Snapshots for each requirements are attached as output.