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

  • Authors:
  • Shanna-Shaye Forbes;Hiren D. Patel;Edward A. Lee;Hugo A. Andrade

  • Affiliations:
  • -;-;-;-

  • Venue:
  • DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.