Representation and Analysis of Real-Time Control Structures
Name
MIT-LCS-TR-241.pdf
Size
3.79 MB
Format
Adobe PDF
Checksum (MD5)
0b639667f8289a9fbb6e59d2960f31eb
Author(s)
Archer, Rowland F., Jr.
Advisor(s)
Ward, Stephen A.
Date Issued
August 1980
Series/Report no.
MIT-LCS-TR-241
Abstract
A new notation is introduced for representing real-time scheduling at the task and event level. These schedules are called control structures. The primary constructs included which direct the flow of control are sequencing, iteration, and preemption. Additional notation allows the representation of interrupt masking, task termination by external events, task restart as well as resumption from the point of preemption and codestripping. Algorithms are given for finding the presentation structures of a given control structure in the notation.
Persistent DSpace Link
