Accession Number : ADA139996

Title :   Fundamental Design Problems of Distributed Systems for the Hard Real-Time Environment.

Descriptive Note : Doctoral thesis for period ending May 83,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Personal Author(s) : Mok,A. K. L.

Report Date : JAN 1984

Pagination or Media Count : 186

Abstract : Software designed to function in a hard-real-time environment where strict timing constraints must be met often entails implicit assumptions about a programming language and the underlying system which supports it. Programs which are logically correct, i.e., they implement the intended algorithms, may not function correctly if their assumed timing characteristics are not met. This can occur if the programming language is not expressive enough to permit an adequate specification of the desired timing characteristics of the software of if the expressible timing characteristics cannot be verified before run time. For distributed systems in particular, the software must be tailored to a myriad of implementation parameters, e.g., communication bandwidth, thus rendering subsequent modifications hazardous. Our research investigates the basic problems in automating the design and maintenance of hard real-time software. After examining the limitations of the traditional approach to real-time software design via process-based models, we shall provide a graph-based computation model which is more suitable for expressing the computational requirements of the hard real-time environment. This model is an extension of CONSORT (Control Structure Optimized for Real-Time), an experimental software design system which has been implemented to generate process control application programs from block diagram schemata. While our graph-based model, the complexity of the relevant resource allocation problems for meeting stringent timing constraints is investigated. (Author)

Descriptors :   *Distributed data processing, *Computer programming, *Systems engineering, Real time, Automation, Embedding, Graphs, Algorithms, Programming languages, Theses

Subject Categories : Administration and Management
      Computer Programming and Software
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE