Transaction Level Modeling And Verification On Software Components Of Automotive Electronic System

The increasing functional demand of the automotive vehicle resulted in thenumber of ECUs(Electrical Control Unit) gradually increasing on the automotivevehicles, and the automotive electronic systems is becoming increasingly complex.Thus the design and development of the automotive electronics software has becomemore and more difficult. How to solve the hard problem for designing the software ofthe complex automotive electronic systems, and ensuring the software quality anddevelopment schedule, which have becoming a hot research field on the automotiveelectronic systems.In this paper, according to the AUTOSAR(Automotive Open System Architecture)specifications, the author does the exploration and researches on the design methodsof automotive electronic systems based on software components, through combiningthe characteristics of automotive software systems. It realizes software componentmodeling and verification on high level of abstraction by the transaction levelmodeling method, so that it can find design problems on the early design stage ofsystem, ensure the software quality and improve the software development moreefficient. The main task is as below:Analysed the AUTOSAR related technologies, which covers the AUTOSARarchitecture, software design methodology and application research situation;According to the architecture features of AUTOSAR, it introduces transaction-levelmodeling theory, and the concept of transaction level modeling, development,simulation methods and software verification technology are presented in detail.According to the characteristics of the automotive electronics softwarecomponents, the requirement analysis is practised from the structure, type andcommunication of the software component for the modeling. On this basis, itdetermines the model description language, and focuses on the analysis of thecharacteristics and structure of the language. The transaction level modelingfoundation scheme is established on the basis of the detailed analysis of theautomotive electronic system design method on AUTOSAR.According to AUTOSAR standard, a transaction-level modeling and verificationmethod for automotive electronic systems is introduced based on softwarecomponents. In this method, firstly, the software model, hardware abstraction model, software and hardware interaction model of automotive electronic systems are definedbased on the SystemC language description; Secondly, according to the automotiveelectronic system design process conforming to the AUTOSAR standard, thetransaction level modeling and verification process on PV(Programmer’s View) layerand the PVT(Programmer’s View plus Timing) layer are offered; Finally, it realizes atransaction level modeling, simulation, verification integrated platform for the designand verification of automotive electronics software system on the CCSS(CoCentricSystem Studio) platform.Taking the automotive adaptive cruise control system for an example, it designsvarious software components and interconnect models of the adaptive cruise controlsystem according to the proposed modeling approach. And each transaction model ofsoftware component on PV and PVT layers has been achieved. Modeling-simulation-verification platform, for the design of automotive adaptive cruise control system aresimulated on CCSS. Experimental results show that the transaction level modelingapproach can realize simulation of automotive electronic system software componentscomforming to the AUTOSAR standard, simulation speed is fast and it is conducive tothe verification and performance analysis of the early stages of design. Therefore,ensure the quality of software development and shorten the software developmentcycle of automotive electronic systems.