Research Of Performance Analysis Method Of Distributed Real-Time System Based On RTC And UPPAAL

As embedded systems are applied to more and more fields,the real-time performance problem has become an important subject in computer science.With the rapid development of semiconductor technology and the increase of consumer's requests for system service functionalities,embedded systems are no longer confined to single chips.Instead,it has developed into complicated systems with high computation and performance and integrated functionalities.Recently,real-time performance analysis methods based on Real-Time Calculus(RTC)and time automaton has gained growing interests in the design and implementation of embedded systems.Although these two techniques have showed great advantages and potential in analyzing real-time performance of embedded systems,they have some disadvantages respectively:When dealing with large complex structures with vast computation request or embedded networks with complex time parameter characteristics,RTC may be confronted with severe analysis efficiency problem.As a result,it can not deal with intricate industrial systems and not notice the other characteristics that the data flow has except time parameters;On the other hand,time automaton can analyze intricate logical actions by simulating the system logically.However,if the system structure is too intricate,the modelling will be too perplexing to deal with systems sending multiple signals.To get a deep insight into these two techniques,what kinds of practical industrial systems they can manage,and the process of their analyzing system performance,we do analyze the performance analysis of two practical systems:a distributed heterogeneous communication system(HCS)and an Aerial Video Tracking System.In the process,we choose different methods according to individual behavior characteristics and obtain the desired performance metrics.The analysis shows the application value of RTC and time automaton.At the same time,based on general MPA-RTC frame,we proposed the concept of finitary RTC by limiting the infinitary time domain for computation into a limitary interval.In this way,we could better handle the shortcoming of RTC when faced with complicated systems,and improve the analysis efficiency and practicality.When analyzing the performance,we have a deeper understanding of theories and characteristics of different performance analysis methods,including their advantages and disadvantages,modify one of them—RTC,and also comprehend the basic flow of how they are applied into large-scale industrial systems for task modelling,date flow modelling and resource modelling.Additionally,we successfully integrate RTC with the performance analysis of HCS,and compare the results with original RTC.It proves that finitary RTC can get higher run-time efficiency when guaranteeing the precision of results.