Research And Implementation Of Real-time System Schedulability Analysis And Simulation Tools

With the increasing demand for embedded real-time system applications,real-time systems need to complete more and more functions,making the complexity of real-time system design is also growing.In real-time system characteristics,real-time,stability,and reliability are the most important among all of the features,which is an important criterion to measure the availability of real-time systems,and in different application area,the degree of strict requirements for these characteristics are not the same.Especially in nuclear research,aerospace,military and other key scientific and technological fields,the requirements for these characteristics of real-time systems are more stringent.In order to make the design of the system to meet these requirements,it is necessary to accurately grasp the usage of time and resource at the design stage of system,through the modeling of real-time system,and analyze the schedulability of the model can satisfy the requirement.However,the establishment and validation of the model and schedulability analysis is a very complex process,artificial modeling and analysis is inefficient,therefore,the development of visual modeling and automated analysis tools is very necessary,this is also the research purpose of this thesis.Firstly,in this thesis,through the in-depth study of common real-time system,partition real-time system which based on ARINC653 specification and multiprocessor real-time system,completed the design of task scheduling model for three types of real-time systems.Mainly including the research of the hardware structure of common real-time system,the task structure of software system,the task scheduling process,as well as the space-time partition mechanism and two-level scheduling mechanism in ARINC653 specification.Secondly,based on the structure of task scheduling model of three kinds of real-time systems,through the analysis and parameterization of the attributes of each node in the scheduling model structure,and set up data structure for each node,completed the design of the corresponding scheduling model.And On the basis of the scheduling model and the schedulability theory of real-time system,through the analysis and summary of the task scheduling process of three kinds of real-time systems,complete the schedulability analysis algorithm based simulation for three kinds of real-time systems is designed.Thirdly,on the basis of scheduling model and schedulability analysis algorithm of three kinds of real-time systems,complete the development of tools for visual modeling and automated schedulability analysis.The tools developed in this thesis provide many functions,such as,user friendly visual modeling interface,automatic schedulability analysis,visualization of scheduling analysis results in table format,scheduling process simulation based on Gantt chart,preservation and analysis of file data for scheduling model based on XML,multilingual environment support and so on.Finally,through the detailed testing of the various functions of the tool,it is proved that the tool can accurately complete the modeling and schedulability analysis of three kind of real-time system,simulation and other functions,fully meet the needs of the project.