Font Size: a A A

Modeling And Application Of The Embedded Real-time Software Based On UML And Temporal Logic

Posted on:2009-12-01Degree:MasterType:Thesis
Country:ChinaCandidate:S ZhangFull Text:PDF
GTID:2178360245968441Subject:Computer software and theory
Abstract/Summary:PDF Full Text Request
Embedded system has become a hot research in computer science and cybernetics in both domestic and overseas these years. With the increasing scale and complexity of embedded system, the function of modeling is more important in the embedded real-time software development. Unified Modeling Language is a common visual modeling language and is very suitable for modeling large-scale and complex system. However, the lack of precise semantics makes it difficult to analyze and validate behaviors of the system it describes. The temporal logic language XYZ/E has precise semantics. It can express system dynamic semantics and also describe static semantics. Based on these, this paper provides a new solution for modeling of embedded real-time software through combining UML2.0 and XYZ/E.In this paper, several main ideas and methods for modeling of embedded real-time software have been analyzed and compared. The lack of UML for modeling of embedded real-time software has been analyzed as well. On the basic of research for technologies and methods of extended UML, a new method for modeling of embedded real-time software through combining UML2.0 and XYZ/E has been provided. The formal syntax and the semantics of XYZ/E for UML2.0 interaction diagrams are defined. Finally, this paper applies the modeling method of combining UML2.0 and XYZ/E to the example of embedded real-time software, and models an automobilism aided system.This paper composes a new way for modeling of embedded real-time software through combining the visual modeling language which is object-oriented and the formal method which based on temporal logic. It contributes to the research for modeling of embedded real-time software and the research of formal semantics of UML2.0 as well as the application of formal method in the system development.
Keywords/Search Tags:embedded real-time software, modeling, UML2.0, XYZ/E, temporal logic, formal syntax, formal semantics
PDF Full Text Request
Related items