基于仿真的实时系统可调度性分析工具的研究与实现

发布时间：2018-04-01 08:30

本文选题：实时系统　切入点：周期任务　出处：《云南师范大学》2014年硕士论文

【摘要】：随着计算机技术的飞速发展，嵌入式系统已广泛应用于科技生产及日常生活的各个领域，伴随而来的系统功能需求及复杂度也日益增大。与通用计算机系统相比，应用于不同领域的嵌入式专用系统，对系统的实时性、可靠性、稳定性的要求较高，尤其体现在航空航天、军工科技、核工业等关键领域的应用。为满足此类实时系统强实时性、高安全性、高可靠性的要求，精确掌握系统时间资源的使用状况，在系统设计阶段采用建模及验证的方法，对系统任务集进行可调度性分析相当必要。因而，精准化、自动化、高效化可调度性分析工具的开发颇具意义。可调度性分析理论是实时系统高可靠性的理论保障，也一直是实时系统研究的热点问题。目前，业界研究的实时系统主要有三类：单处理器构架普通实时系统、单处理器多分区构架分区实时系统、多处理器构架复杂实时系统（混合挂载普通任务集和分区任务集）。本文是在限定实时系统中所有任务到达特性（周期性到达）的前提下，基于仿真方法实现的可调度性分析工具。首先，本文对可调度性分析工具所涉及的三类实时系统的调度模型特性进行了详细阐述；其次，设计和实现了基于三类实时系统的可调度性分析算法，其过程包括：实时系统调度模型及任务模型的提取和建立、算法设计原理阐述等；再次，设计实现基于三类实时系统调度分析工具的统一友好用户操作界面；最后，，对可调度性分析工具进行实例分析和性能测试，展示工具操作过程及工具分析结果。测试结果表明，本文研究的调度分析工具能准确、快速、自动地判定三类实时系统的可调度性，并能以甘特图的方式单步或连续地绘制各类实时系统的任务集调度执行过程。
[Abstract]:With the rapid development of computer technology, embedded system has been widely used in various fields of science and technology production and daily life. The requirement of real-time, reliability and stability of embedded special system used in different fields is high, especially in aerospace, military industry, science and technology. In order to meet the requirements of strong real-time, high security and high reliability of such real-time systems, and to accurately grasp the use of system time resources, the modeling and verification methods are adopted in the design phase of the system. It is necessary to analyze the schedulability of system task sets, so the development of precision, automation and high efficiency schedulability analysis tools is of great significance. The theory of schedulability analysis is the theoretical guarantee for the high reliability of real-time systems, and it has also been a hot issue in the research of real-time systems. At present, there are three main types of real-time systems studied in the industry: the common real-time systems with single-processor architecture, Single processor multi-partition architecture partitioned real time system, multiprocessor architecture complex real time system (hybrid mount common task set and partition task set). In this paper, under the premise of limiting all task arrival characteristics (periodic arrival) in real time system, A schedulability analysis tool based on simulation method. Firstly, the characteristics of scheduling model of three kinds of real-time systems involved in schedulability analysis tools are described in detail. Secondly, a schedulability analysis algorithm based on three kinds of real-time systems is designed and implemented. The process includes: the extraction and establishment of real-time system scheduling model and task model, the principle of algorithm design and so on; thirdly, the design and implementation of a unified friendly user interface based on three kinds of real-time system scheduling and analysis tools; finally, An example analysis and performance test of schedulability analysis tool is carried out, and the tool operation process and tool analysis result are displayed. The test results show that the scheduling analysis tool studied in this paper is accurate and fast. The schedulability of three kinds of real-time systems is determined automatically, and the task set scheduling execution process of all kinds of real-time systems can be drawn step by step or continuously by Gantt graph.
【学位授予单位】：云南师范大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP316.2;TP332

【参考文献】