Expressing and maintaining timing constraints in flex

Kwei Jay Lin*, Swaminathan Natarajan

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

40 Scopus citations

Abstract

The timing constraint mechanism in a real-time programming language called FLEX is described. A FLEX program can use the constraint primitives to express timing and resource requirements. If the required time or resources are not available at run-time, a FLEX program can dynamically produce monotonic imprecise results. Both time and system resources are defined as first-class objects in the language so that they can be evaluated just like any other first-class object. By unifying time, resources, and normal objects, the semantics and the executions of real-time programs are more manageable. Some implementation issues for FLEX are discussed, and some performance data are presented.

Original languageEnglish
Title of host publicationProc Real Time Syst Symp
PublisherPubl by IEEE
Pages96-105
Number of pages10
ISBN (Print)0818608943
StatePublished - 1988
Externally publishedYes

Publication series

NameProc Real Time Syst Symp
Volume35 n 6

Fingerprint

Dive into the research topics of 'Expressing and maintaining timing constraints in flex'. Together they form a unique fingerprint.

Cite this