An RTL semantics for LabVIEW

Author

Mok, Aioysius K. ; Stuart, Douglas

Author_Institution

Dept. of Comput. Sci., Texas Univ., Austin, TX, USA

Volume

4

fYear

1998

fDate

21-28 Mar 1998

Firstpage

61

Abstract

LabVIEW is a commercial tool for designing virtual instruments, software substitutes for conventional laboratory instrument, that is poised for use in control and embedded applications of which avionics is an important area. To successfully transition to this new environment, LabVIEW must have a well-defined real-time semantics, e.g., for specifying stringent real-time requirements. Real Time Logic (RTL) is a first order logic for describing real-time and embedded systems. After introducing LabVIEW and RTL, we propose an RTL semantics for the basic constructs of LabVIEW and examine several of the issues that must be resolved in order to finalize an effective semantics. Providing a semantics for LabVIEW virtual instruments in RTL is a first step to its use in real-time embedded aerospace applications

Keywords

aerospace computing; avionics; electronic design automation; embedded systems; logic CAD; virtual instrumentation; LabVIEW; RTL semantics; Real Time Logic; avionics; control applications; embedded applications; first order logic; real-time semantics; virtual instruments; Aerospace electronics; Application software; Embedded software; Embedded system; Instruments; Laboratories; Logic; Real time systems; Software design; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Aerospace Conference, 1998 IEEE

Conference_Location

Snowmass at Aspen, CO

ISSN

1095-323X

Print_ISBN

0-7803-4311-5

Type

conf

DOI

10.1109/AERO.1998.682156

Filename

682156