The Research Of An AADL-Based Approach To Automotive Real-Time Embedded System Modeling

With the enhancement of automotive electronic level, the number of electronic control units has increased gradually, and the requirements of system design have been complicated. However, the traditional software development of automotive electronic is difficult to control the complexity of system design, and hard to save the cost and time efficiency. Therefore, the model-based development method of automotive real-time embedded system(RTES) is proposed. Because of its flexible design capacity and timely verification feedback, model-based development of automotive RTES effectively reduces the design complexity and has become the hot point of research.The fundamental of model-based development method is system modeling, while AADL is a modeling language which can describe system architecture and fully express behavior specifications of model. It provides a high quality approach for model-based automotive RTES modeling. Our work is on the basis of model-based development method, with the AADL modeling language and system-level design method, has designed automotive RTES model compatible with OSEK/VDX, and provided a verification method for AADL-based model architecture and behavior. Our main work is as follows:First, aiming at the features of strong real-time and high reliability for automotive embedded system, we analyzed the traditional development method of RTES, and illustrated the advantages of the approach to model-based system development for automotive RTES. By comparing with several modeling languages and combining the features of automotive electronic system, we analyzed the feasibility and advantage of AADL.For enhancing the correctness and flexibility of automotive RTES design, we analyzed the requirement of model design which is compatible with OSEK/VDX in automotive electronic field at present, and draw up model specifications in four aspects as software platform, hardware platform, interactive behavior and execution behavior. Based on the requirement analysis, we proposed an AADL-based approach to automotive RTES modeling.According to requirement analysis, we modeled software architecture, hardware architecture, interactive behavior and execution behavior respectively. Designed two main entities in automotive embedded system:task and interrupt service routine models; established real-time scheduling, interrupt handing, resource synchronization, event management and system services which are compatible with OSEK/VDX, and mapped them to AADL component models; abstracted hardware platform; presented the AADL-based verification of model architecture and behavior.Finally, according to AADL-based approach to automotive RTES modeling, we have designed the cruise control system with system level model. By verifying the function attributes, non-function restraints and real-time performance of architecture and behavior model, we proved the correctness of modeling approach.