Research on Monitoring-Oriented Runtime Verification Method Based on Multi-core Architecture

• 1、College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics
• 2、 State Key Laboratory for Novel Software Technology (Nanjing University)

Abstract：Monitor-oriented Runtime Verification (MRV) methods are used to be considered as effectively ways to increase software system reliability. However, in the case of traditional embedded systems, which are based on single-core processor architecture, it may cause great losses of system performance. In this paper, we adopt multi-core processor architecture which is recently utilized in many embedded computing systems to do some new preliminary explorations of MRV. Specifically, two kinds of MRV framework based on multi-core architecture are designed and analyzed, including in-line and out-line verification modes. And single-monitor and multi-monitor MRV instances are also designed. Furthermore, in order to check the multi-core MRV methods, several corresponding implementations are provided and applied into several open source projects. The results of experiments show that MRV based on multi-core architecture can improve the performance of run-time verification of the system effectively under different verification modes. Our work gives a foundation for further research of how to design good multi-core MRV methods.

Keywords： Computer Application Technology Monitoring-Oriented Runtime Verification Embedded Software Multi-core Programming Software Analysis and Verification