Model-based software design is a fundamental approach used in automotive industry to develop reliable and efficient systems. This thesis explores the integration of model-based software design and the V-cycle methodology, with a specific focus on the application of Model in the Loop (MIL) technique using SystemC-AMS instead of Simulink. My reference case study for the modeling and analysis, providing valuable insights into the benefits and limitations of employing SystemC-AMS in this context. The thesis begins by presenting a comprehensive review of model-based software design principles and the V-cycle methodology, emphasizing their significance in system development. Subsequently, the focus shifts to the utilization of SystemC- AMS as an alternative to Simulink for modeling the semi-active suspension systems.