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

Share

COinS