Modeling method of embedded real-time software based on UML and XYZ/E

With the increasing scale and complexity of embedded real-time system, the function of modeling is more important in the embedded real-time software development. UML has actually become the industry standard in the field of embedded real-time software modeling at present. However, the lack of precise semantics makes it difficult to analyze and validate models it describes. The executable linear temporal logic language XYZ/E can represent both static semantics and dynamic semantics. Based on these, a practical scheme combining UML and XYZ/E to develop embedded real-time software is proposed, which also provides a formal basis for analysis and validation of the model.