Specification and Verification of Real-team Constraints in Coarse-grain Dataflow
Author(s)
Henry, Dana S.![Thumbnail](/bitstream/handle/1721.1/149696/MIT-LCS-TR-487.pdf.jpg?sequence=3&isAllowed=y)
DownloadMIT-LCS-TR-487.pdf (5.347Mb)
Metadata
Show full item recordAbstract
We present a method for verifying real-time constraints in a distributed, coarse-grain dataflow environment starting with a program which has already been allocated onto a machine. The user specifies the timing of each module together with real-time constraints; and we verify the constraints.
Date issued
1991-05Series/Report no.
MIT-LCS-TR-487