Search

Embedded system is a hot topic in the field of computer science and cybernetics at home and abroad in recent years. This paper has analyzed the scale and complexity of embedded systems, including modeling in embedded realtime software development process. Meanwhile, this paper analyzes and compares the current ideas and methods of modeling embedded real-time software, and studies the shortcomings of the timing characteristics in the modeling of embedded real-time software, which is based on the research of the common techniques and methods for the expansion of timing features. A new method of modeling embedded real-time software based on timing characteristics is proposed. The formal syntax and sequential logical semantics of each interactive view of timing characteristics are defined. The proposed modeling method is applied to the embedded real-time software instance. This paper has certain positive significance to research on modeling of embedded real-time software, and formal semantics of timing features and methods in the application of software development. [ABSTRACT FROM AUTHOR]