Accession Number:

ADA238877

Title:

Derivation of Sequential, Real-Time, Process-Control Programs

Descriptive Note:

Technical rept.,

Corporate Author:

CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE

Personal Author(s):

• Marzullo, Keith
• Schneider, Fred B.
• Budhiraja, Navin

Report Date:

1991-07-01

Pagination or Media Count:

15.0

Abstract:

The use of weakest precondition predicate transformers in the derivation of sequential, process control software is discussed. Only one extension to Dijkstras calculus for deriving ordinary sequential programs was found to be necessary function-valued auxiliary variables. These auxiliary variables are needed for reasoning about states of a physical process that exist during program transitions.

Descriptors:

• *COMPUTER PROGRAMS
• AUXILIARY
• PHYSICAL PROPERTIES
• TRANSFORMERS
• SEQUENCES
• VARIABLES
• TRANSITIONS
• CALCULUS
• CONTROL
• REASONING

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE