| Real-time software system has been acting as a more and more important role in our industry and social life.With requirements growing rapidly, the developing methodology for real-time systems gradually becomes the focus of researchers. Object-oriented (OO) analysis and design methodology has gained huge popularity in non-real-time system domains; however, its adoption in development of real-time systems is still at an early stage. There are several crucial questions for researchers to answer: How to model and validate the timing constraints? How to guarantee the satisfaction of constraint in system implementation?Based on the background stated above, a developping method is presented in this thesis in effort to guide and assist the OO development of real-time systems.The proposed method is based on two techniques: schedulability analysis and automatic code generation, which are combined to validate and guarantee a certain type of timing constraint.This thesis begins with introducing and comparing the popular paradigms and tools in the relevant fields, and then our work is presented by its three main parts. Firstly, a set of OO modeling elements of real-time system is defined based on UML language. In order to facilitate automatic code generation, we define the structure and semantic of the core elements formally. Second, a virtual task set relevant to timing constraints is elicited from the object model, and it is validated against end-to-end timing constraints. This thesis explores different typical implementation of virtual task model and presents the results of schedulability analysis. Finally, we introduce the process of automatic code generation and the design of run-time supporting library. These three parts of work constitute the whole developping process, while they also implicate the major parts of a CASE tool supporting our approach.In the end of the thesis, a complete case study is presented to demonstrate the application of the proposed method.
|
PDF Full Text Request