System Specifications and Flow Control

Authors

Gruia-Catalin Roman, Washington University in St. Louis
Michael E. Ehlers, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1987-02-01

Filename

WUCS-87-2.pdf

Technical Report Number

WUCS-87-2

Abstract

We started with an approach intended for the formalization of software/hardware interactions in distributed systems and applied it to an elevator control problem. The emphasis on physical relevance, intrinsic to the approach, has resulted in a new treatment of the elevator problem, one which reflects faithfully the structural and behavioral properties of the system components and which allows the designer to work on the algorithm for elevator movement and its proof in the realistic context of the total system. In addition to presenting the model we discuss several issues important in ensuring the physical relevance of software specifications: (1) boundary validation, (2) failure analysis, and (3) design-rules formulation and enforcement.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7JD4V3J

Recommended Citation

Roman, Gruia-Catalin and Ehlers, Michael E., "System Specifications and Flow Control" Report Number: WUCS-87-2 (1987). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/805