Sciweavers

DSRT
2008
IEEE

An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture

14 years 1 months ago
An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture
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.
Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where DSRT
Authors Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade
Comments (0)