Citation
Shanna-Shaye Forbes, Hugo Andrade, Hiren D. Patel, Edward A. Lee. "An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture". Proceedings of the 12-th IEEE International Symposium on Distributed Simulation and Real Time Applications, October, 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.

Electronic downloads

• camerareadylabview_d.pdf · download/application/pdf · 847 kbytes

• HTML

  Shanna-Shaye Forbes, Hugo Andrade, Hiren D. Patel, Edward A.
  Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/482.html">An
  Automated Mapping of Timed Functional Specification to A
  Precision Timed Architecture</a>, Proceedings of the
  12-th IEEE International Symposium on Distributed Simulation
  and Real Time Applications, October, 2008.

• Plain text

  Shanna-Shaye Forbes, Hugo Andrade, Hiren D. Patel, Edward A.
  Lee. "An Automated Mapping of Timed Functional Specification
  to A Precision Timed Architecture". Proceedings of the 12-th
  IEEE International Symposium on Distributed Simulation and
  Real Time Applications, October, 2008.

• BibTeX

  @inproceedings{ForbesAndradePatelLee08_AutomatedMappingOfTimedFunctionalSpecificationToPrecision,
      author = {Shanna-Shaye Forbes and Hugo Andrade and Hiren D.
                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}
  }
  

Posted by Shanna-Shaye Forbes on 7 Aug 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu..

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.