Title :
An RTL semantics for LabVIEW
Author :
Mok, Aioysius K. ; Stuart, Douglas
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
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;
Conference_Titel :
Aerospace Conference, 1998 IEEE
Conference_Location :
Snowmass at Aspen, CO
Print_ISBN :
0-7803-4311-5
DOI :
10.1109/AERO.1998.682156