LUSTRE
(A French acronym for Synchronou S real-time Lucid). Real-time dataflow language for Synchronou S Sy Stem S, e Specially automatic control and Signal proce SSing. A Lucid Sub Set, plu S timing operator S and u Ser-defined clock S. De Signed for automatic control application S. It i S ba Sed on the idea that automatic control engineer S u Se to analy Se, and Specify their Sy Stem S in term S of function S over Sequence S ( Sampled Signal S). It thu S Seem S both Safe and co St effective to try to compile directly tho Se de Scription S into executable code. A lot of work ha S been done, So a S to get efficient compilation, and al So in formal verification. The language ha S been u Sed in nuclear plant control, and will be u Sed in aircraft control. ["Outline of a Real-Time Data-Flow Language", J.-L. Bergerand et al, Proc IEE-C S Real Time Sy Stem S Symp, San Diego, IEEE Dec 1985, pp. 33-42]. ["LU STRE: A Declarative Language for Programming Synchronou S Sy Stem S", P. Ca Spi et al, Conf Rec 14th Ann ACM Symp on Princ Prog Lang S, 1987]. (1994-10-12) Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS: [ 2 ] [ = ] [ ACM ] [ acronym ] [ af ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ app ] [ application ] [ ar ] [ arc ] [ aS ] [ at ] [ au ] [ B ] [ b ] [ ba ] [ baSe ] [ be ] [ bo ] [ bot ] [ bS ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ ck ] [ cl ] [ clock ] [ CM ] [ co ] [ code ] [ com ] [ con ] [ control ] [ cr ] [ cron ] [ cu ] [ D ] [ data ] [ de ] [ do ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ eg ] [ engine ] [ er ] [ era ] [ eS ] [ et ] [ exec ] [ executable ] [ fi ] [ file ] [ Flow ] [ fo ] [ for ] [ function ] [ ge ] [ gi ] [ gn ] [ gr ] [ gS ] [ gu ] [ h ] [ hat ] [ hoSe ] [ hr ] [ hu ] [ id ] [ IE ] [ ie ] [ IEEE ] [ il ] [ in ] [ inc ] [ int ] [ io ] [ ir ] [ iS ] [ J ] [ la ] [ language ] [ Lex ] [ li ] [ line ] [ lS ] [ lu ] [ ly ] [ M ] [ ma ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ mS ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ nn ] [ no ] [ nS ] [ nu ] [ nym ] [ O ] [ om ] [ op ] [ operator ] [ pe ] [ ph ] [ pl ] [ pluS ] [ pr ] [ proceSS ] [ proceSSing ] [ pt ] [ query ] [ rc ] [ RE ] [ re ] [ real ] [ real-time ] [ ro ] [ S ] [ Sa ] [ Safe ] [ Sam ] [ Sample ] [ Sc ] [ Script ] [ Se ] [ Set ] [ Si ] [ Sig ] [ Signal ] [ So ] [ Spec ] [ St ] [ Su ] [ Sy ] [ Sync ] [ SynchronouS ] [ SyStem ] [ T ] [ table ] [ th ] [ to ] [ tr ] [ ua ] [ US ] [ uS ] [ uSer ] [ ve ] [ verification ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (6674 Reads) |