（Complex aerospace missions bring a significant increase in the scale and complexity of aerospace products. And the development trend of intelligence and integration rises continuously the status and functional requirements of software in aerospace products. Software design based on documents is often carried out before the software requirements documents is fully clarified, while software test performs after software implementation. The ambiguity of requirement documents probably leads to design and test iterations, which affects software product development and delivery efficiency and quality. In order to avoid those problems, research on health monitoring software design based on SysML adopting MBSE is conducted. Before implementing the software code, the software SysML model can be used for functional logic verification and software test. Simulation and test results prove that this method is feasible and available to verify the correctness of software design schemes in the demonstration stage.）