Model-Based Embedded Radar System Software Development and Verification

This paper introduces the model-based embedded software development and verification method. Taking radar system software as an example, the development process of model-based embedded software is introduced, and the use of models formed in different stages in the development process and its related verification methods are discussed. Model-based embedded software development can make full use of the advantages of model simulation and verification, analyze the correctness of the model intuitively and comprehensively, realize virtual design verification, and promote the deepening of design optimization. Not only can the requirements and design defects be discovered as early as possible, but also the correctness of the design can be guaranteed under the premise of satisfying the requirements.