Date of Award
12-1990
Document Type
Thesis
Degree Name
Master of Science in Electrical Engineering
Department
Department of Electrical and Computer Engineering
First Advisor
Paul Bailor, PhD
Abstract
As software system requirements become more complex, software engineers must carefully design the systems to ensure the systems to ensure the systems adequately meet all requirements, both functional and non-functional. Because real-time systems have timing constraints, in addition to the more traditional behavioral constraints, a comprehensive software design analysis model is required which incorporate performance, timing, and behavioral constraints. Although the Ada language tasking constructs are compiler independent, Ada tasking is dependent on its runtime environment; therefore, a formal model of Ada tasking and its associated runtime environment is important in order for system designers to make realistic decisions when modeling Mission Critical Computer Resources (MCCR) systems. The main focus of this thesis is to determine the feasibility of developing a parameterized, formal model of Ada tasking and the associated runtime environment. This research shows that such a parameterized model can be developed using a mathematical model which incorporates real-time scheduling and queueing theory. This model can be used in future to develop a design analysis environment for real-time embedded soft-ware systems that require Ada as the target language. Thus, given a specification for such a system, the design analysis environment can be used to obtain the information needed to support Ada software design decisions.
AFIT Designator
AFIT-GE-ENG-90D-18
DTIC Accession Number
ADA230746
Recommended Citation
Edwards, Kathryn J., "Feasibility Analysis of Developing a Formal Performance Model of Ada Tasking" (1990). Theses and Dissertations. 7954.
https://scholar.afit.edu/etd/7954