A Validation Method For Real-time Automobile Electronic Software

With the rising of requirements, modern car have integrated various ofcomplicated applications. It is inevitable to add an operating system between theapplication and hardware. How to analyze the features of these real-time systems hasattracted many researchers’ attention.There are some existing methods, such as formal analysis and model analysis tovalidate the real-time property. Since the analysis of former is very complex, andwithout intuitive operating interface, it can’t simulate the real operation of the system.The latter has different forms. Petri net is suitable to describe asynchronous,concurrent computer system model. It has both the strict mathematical expressionsand visual graphics operation interface, and can analyze various performance ofsystems, such as real-time, reliability, etc.This paper proposes a real-time validation method of automobile electronicsoftware with automobile adaptive cruise control system as an example based on theTOPPERS operating system.This paper first introduces the modern automobile electronic systems andoperating system, summarizes the existing method such as formal analysis, timedautomata, AADL modeling. Then it acquires a method to validate the real-time ofautomotive electronic systemd with time Petri net, and makes the rules from statetransition to time Petri net. Then this paper designs and implements the automobileadaptive cruise control system based on TOPPERS, tests the running time of relevanttask. Finally it establishes the corresponding time Petri net, analyzes and comparesthe real-time in two different models through EXSPECT.Experimental results show that the real-time validation method of automobileelectronic software in this paper can accurately compute the dissipative time of thewhole system. Comparing to the traditional test methods, the method of this paperreduces the complexity of system through certain optimization strategy. It can be usedto simulate the running of system directly, and can also obtain the parameters of timeaccurately.