Complex device control software modeling and verification method based on SysML and Tango

The invention discloses a complex device control software modeling and verification method based on SysML and Tango, and the method comprises the steps: constructing a Tango meta-model field extension library based on SysML, and the Tango meta-model field extension library comprises key element information such as functions, attributes and states; constructing a field template library oriented to the equipment service software development business process based on SysML; rapid construction of an equipment service software model is realized through parametric modeling; verifying equipment service software state logic through system behavior simulation; automatically generating a code framework of the equipment service control software through a model conversion and code generation tool; and software demand index design and verification are realized through simulation of the activity diagram and the parameter diagram. According to the method, the problems of control software document expression consistency, sof