WCET分析中面向对象程序多态性问题的解决方法.docxVIP

毕业设计（论文）

PAGE

1-

毕业设计（论文）报告

题目：

WCET分析中面向对象程序多态性问题的解决方法

学号：

姓名：

学院：

专业：

指导教师：

起止日期：

WCET分析中面向对象程序多态性问题的解决方法

摘要：随着面向对象程序设计方法在实时系统设计中的广泛应用，WCET（WorstCaseExecutionTime）分析成为实时系统设计的关键环节。然而，多态性是面向对象程序设计中的一个重要特性，它增加了WCET分析的复杂度。本文针对面向对象程序设计中多态性问题，提出了一种基于模型检查的WCET分析方法，通过构建多态性程序的行为模型，对模型进行验证，从而得到WCET。该方法能够有效解决面向对象程序设计中多态性问题，为实时系统设计提供了一种新的思路。

实时系统在嵌入式系统、航空航天、工业控制等领域有着广泛的应用。实时系统的设计要求系统在规定的时间内完成所有任务，因此WCET分析成为实时系统设计的关键环节。面向对象程序设计方法以其模块化、抽象化等优势在实时系统设计中得到广泛应用。然而，多态性作为面向对象程序设计中的一个重要特性，给WCET分析带来了新的挑战。本文旨在研究面向对象程序设计中多态性问题的解决方法，以期为实时系统设计提供理论支持和实践指导。

第一章面向对象程序设计中的多态性问题

1.1多态性的概念与特点