Research On Domain Modeling Environment Of Embedded Real-time System

The complexity,resource limitations,real-time and reliability requirements of embedded real-time systems pose more challenges for system designers.Various safety and reliability properties cannot be fully verified by testing.Model-driven technology can solve this problem to some extent.However,the complexity and professionalism of the model-driven technology have also made the non-computer professional domain engineers discouraged.The learning cost is high and the design process is complex,so it is difficult to be widely used in the field of embedded system design.In order to better support the design,verification and development of embedded real-time systems,an easy-to-learn and intuitive graphical domain modeling environment are needed to enable domain engineers to quickly build system models and complete design verification.According to the universal design method and design of the embedded real-time system,this thesis complete the domain feature analysis of the embedded real-time system,identify and extract the domain objects,construct the domain meta-model,and build a visual embedded real-time system domain modeling environment to meet the current modeling and verification requirements of embedded real-time systems,and resolved the lack of special domain modeling tools for the current embedded real-time system domain,and resolved the difficulties to support the limitations of early system verification by using the domain-specific meta-modeling technology.In the process of constructing the domain modeling environment,this thesis borrowed the ideas of the unified modeling language UML and the system modeling language SysML to extract the domain object and uses the metamodel to express the relationship between the entities involved in the embedded real-time system design process and the entities.We also provide corresponding graphical modeling elements that enable domain engineers to use the modeling environment to build static affiliations,assignments relationships,and dynamic interactions relationships between various software and hardware entities and entities in embedded real-time systems.Another important feature of this thesis is to support the mapping of software functions to hardware entities.In this thesis,modeling environment not only limited to software modeling,but also can complete the software an hardware collaborative design of the system,and provide a good foundation to support integrate verification for the system.Finally,we use a practical application example:embedded IP telephone system to verify the practicability of the modeling tools implemented in this thesis.The static structure model and dynamic behaviour model of the IP telephone system are established by using the modeling environment constructed in this thesis.The results of modeling show that the domain modeling environment in this thesis is good at modeling of the real-time embedded system.