Modeling Method Study And Application Of Embedded System Design

With the infinite aggrandizement of embedded system application demand and the pursuit of the intelligence trend,the workload of embedded system software system development hoiks,and the probability of making mistakes in embedded system software development process is high,then the work of its analysis phase is also more and more complicated,therefore,the analysis phase in embedded system software development process is very important. But the current commonly used modeling methods, model analysis and validation have widespread problems such as difficults in description , analysis and validation,and low reuse. Therefore the dissertation improves the current commonly used methods,farther proposes a new method of embedded system modeling,and model analysis and validation,thus better solves the above problems.First,the dissertation introduces briefly the embedded system description request and the current commonly used embedded system molding methods,and indicates scope of usage and lacuna of modeling of the methods. Next,the dissertation researchhes on the common SpecCharts language,introduces the method of using SpecCharts language to describe embedded system, combines application instances to present specific steps of molding, and analyzes its merits and shortcomings.Then,the dissertation researches on the current commonly used UML embedded system molding methods,introduces in detail application method of UML and extended mechanism in embedded system modeling, proposes a method of using extended mechanism to express time restricting information,raises a formalization method in its model analysis,verification,better can resolves the difficulty in UML model formalization,farther combines instances to present specific steps,and analyzes merits and shortcomings of UML and the extended mechanism method.On the basics of the above-mentioned methods, the dissertation proposes anew method,namely,the method of embedded system modeling,and model analysis and validation of combining UML-based object analysis pattern with real-time description(called pattern method),defines semantic rules of object analysis and mapping rules of real-time description, creates pattern template,and combines practical application to present these detailed steps. These detailed steps are as follows: According to the system demand, how to select or extend pattern in pattern templates;how to create UML class diagram of system by structure pattern in templates and create sequence diagram by behavior pattern;farther create UML initialization concept model of based on time information;and perform visualization analysis,mistake rectification and verification on initialization concept model according to defined rules and sustentation tools in the dissertation.Finally,the dissertation uses experiments to compare quantificationally the patter method with several common embedded modeling methods in aspects of consumed times,literal description quantity,model description complexity and degree on difficulty and easiness of model verification,application instances and experiment results show:pattern method is feasible and a better method of embedded system modeling,model analysis and validation.