Font Size: a A A

The System Energy Consumption Analysis Method Based On Model Transformation

Posted on:2017-06-16Degree:MasterType:Thesis
Country:ChinaCandidate:H L ZhaoFull Text:PDF
GTID:2348330482987008Subject:Computer software and theory
Abstract/Summary:PDF Full Text Request
With the development of software technology,the software engineering field has more knowledge about the characteristics of software,such as software size,complexity and resource utilization.And more attentions have been paid to the research of software system energy consumption problem in software engineering.This paper selects the energy consumption of embedded software system as the research object and reviews the system energy consumption analysis method based on model transformation in detail.Sequence diagram is a widely used model tool in software engineering modeling,which is able to describe the time order of messages delivering between objects,and also can be used to represent the dynamic interaction relationship between objects.As a kind of half formal modeling language,sequence diagram is difficult to directly analyze the energy consumption,while automata model can clearly express the migration path,also directly analysis the energy consumption.Thus this paper uses the sequence diagram model as the source model to analyze the system energy consumption firstly,converts sequence diagram model into energy consumption automata,then calculates the energy consumption on the basis of energy consumption automata,and then analyses the energy consumption of system.Firstly,the paper gives the formal description of the extended sequence diagrams and Energy Consumption Automaton and proposes the rules and methods for transforming the sequence diagram to the Energy Consumption Automaton model.Then,we use the transformation to get the Energy Consumption Automaton which expresses the semantics of the sequence diagram correctly,and analyze the system energy consumption upon the Energy Consumption Automaton.In the end,we use an instance of flying attitude adjustment module in the flying control system of unmanned aircraft vehicle to analyze system energy consumption.As a result,the saving energy pattern can be obtained by proposed technique.
Keywords/Search Tags:Formalization, UML Sequence Diagrams, Energy Consumption Automata, Energy Consumption Analysis
PDF Full Text Request
Related items