AbstractMost common real-time embedded programming languages
provide a means to specify functionality; however,
they have few constructs to specify precise timing constraints.
LabVIEW is one example of a graphical programming
language that supports timing specifications in the
form of timed-loops. In this work, we present a plug-in for LabVIEW Embedded that maps the LabVIEW G graphical programming language and its timing specifications to the PREcision Timed machine (PRET), an architecture that exposes timing instructions in its instruction set architecture.
We demonstrate the use of the plug-in with a simple producer/consumer example that uses timing to enforce synchronization.

@inproceedings{ForbesAndradePatelLee08_AutomatedMappingOfTimedFunctionalSpecificationToPrecision,
author = {Shanna-Shaye Forbes and Hugo Andrade and Hiren
Patel and Edward A. Lee},
title = {An Automated Mapping of Timed Functional
Specification to A Precision Timed Architecture},
booktitle = {Proceedings of the 12-th IEEE International
Symposium on Distributed Simulation and Real Time
Applications},
month = {October},
year = {2008},
abstract = {Most common real-time embedded programming
languages provide a means to specify
functionality; however, they have few constructs
to specify precise timing constraints. LabVIEW is
one example of a graphical programming language
that supports timing specifications in the form of
timed-loops. In this work, we present a plug-in
for LabVIEW Embedded that maps the LabVIEW G
graphical programming language and its timing
specifications to the PREcision Timed machine
(PRET), an architecture that exposes timing
instructions in its instruction set architecture.
We demonstrate the use of the plug-in with a
simple producer/consumer example that uses timing
to enforce synchronization.},
URL = {http://chess.eecs.berkeley.edu/pubs/482.html}
}

Notice:
This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints
invoked by each author's copyright.