An Embedded System Modeling Method Based on Marte Modeling Language and Theme Method
An embedded system and modeling language technology, applied in the embedded field, can solve problems such as strong time constraints, high reliability requirements, and unfavorable modularization
Active Publication Date: 2016-12-21
NANJING UNIV
View PDF0 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
However, with the continuous development of software and hardware, the complexity of distributed system and real-time embedded system development is increasing, and this type of system requires strong time constraints and high reliability requirements. Many characteristic elements or attributes, Scattered throughout the system, not conducive to modularity
It is difficult to solve this problem by relying solely on traditional model-driven methods
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0043] The technical scheme of the present invention will be described in further detail below with reference to the accompanying drawings.
[0044] Main method of the present invention is to utilize the modeling method based on the real-time embedded system of MARTE, and its main process has:
[0045] 1): Embedded system requirements specification generated based on communication with users;
[0046] 2): Analyze the functional requirements in the requirements description, identify possible entities and Themes;
[0047] 3): Determine the final entity and class;
[0048] 4): Identify general Theme and cross-cutting Theme;
[0049] 5): Analyze the time-related behavior in the requirements specification, and determine the required time modeling elements; use the MARTE modeling language to design the basic clock;
[0050] 6): Model the general traditional Theme;
[0051] 7): Analyze the cross-cutting relationship between the cross-cutting theme and related entities, and determ...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention discloses an embedded system modeling method based on a MARTE (Modeling and Analysis of Real-Time and Embedded System) modeling language and a Theme method. The embedded system modeling method comprises the steps that 10, entities and adopted Themes are analyzed according to a requirement specification of an embedded system; 11, a final type and the final entity are determined; 12, the final Theme is determined; 13, a time correlation behavior is determined, and a required clock is modeled by using the MARTE modeling language; 14, an aspect-oriented Base Theme of a base is modeled; 15, the designed clock is used, and the time correlation behavior serves as an Aspect Theme for modeling; and 16, a relation between the Themes is analyzed according to whole Theme rules such as merging and covering, the Themes are integrated and woven, and a complete embedded system model is formed.
Description
technical field [0001] The invention relates to the field of computer software modeling, and mainly relates to an embedded system based on MARTE modeling language and Theme method. Background technique [0002] With the development of informatization and intelligence, embedded real-time systems are widely used in the fields of industrial control, aerospace and communication, and can be seen everywhere in our daily life. The so-called "real-time" requires that not only the logical results must be correct, but more importantly, the results should be produced before the deadline. Otherwise, depending on the degree of "real-time" requirements of the system, the system will fail at the slightest and cause catastrophic consequences at the worst. . [0003] Model-driven engineering is a concept that has come alive in the context of model-driven architecture in recent years. After the Model-Driven Architect specification was promulgated by the OMG organization in 2003, it graduall...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G06F9/455
Inventor 张天孙晴晴李宣东
Owner NANJING UNIV