Log Analysis Technology Using AADL Modeling And Tool Development

The improvement of the embedded operating system and its application size andcomplexity pose an enormous challenge to the test. The traditional embeddedoperating system and its application test use off-line test method, and this method costtoo much. The log information is a kind of structured data, which provides a snapshotof the system when running. The system failure can be found by analyzing the logs.Therefore, the log analysis which acts as an important method of testing embeddedoperating system has great value of research and practical application.On the basis of the LFAL log analysis method, according to the characteristics ofembedded operating systems and AADL modeling language, we design the AADL logmodeling framework for embedded operating system. With typical faults of theembedded operating system as the object of the study, we put forward the theory oflog analysis process, and build support log model analysis tool. The main task is asfollow:Owing to the lack of state machine modeling and analysis capabilities in LFAL,we raise analytical framework, using AADL modeling language. Firstly, theframework contains log analysis method formally. Then, log-driven model schedulingmethod and the log analysis process are posted. Finally, we analyze the log model，inorder to determine the device component and thread scheduling in the model.Pretreatment of the log information is based on the characteristics of the log filesand AADL language specification. The log information is transformed into text formof the AADL model. Then according to the AADL log modeling framework, we selectthe message mailbox fault and memory access fault as the research object. Based onthe establishment of the AADL formal model, we propose fault detection method withverification.Based on the OSATE(open source analysis tool environment),we design the logmodel analysis support tools to count the modeling elements in the log model. Byanalyzing OSATE plug-in design techniques, we propose the design process of the logmodel support tool. According to the design process, we present the dependencies ofthe plug-in design and model traversal and access methods. Taking memory accessfault log model for example, we verify the log model to analyze the availability ofsupport tool.