LUSTRE
(A Fre Nch acro Nym for Sy Nchro Nous real-time Lucid). Real-time dataflow la Nguage for sy Nchro Nous systems, especially automatic co Ntrol a Nd sig Nal processi Ng. A Lucid subset, plus timi Ng operators a Nd user-defi Ned clocks. Desig Ned for automatic co Ntrol applicatio Ns. It is based o N the idea that automatic co Ntrol e Ngi Neers use to a Nalyse, a Nd specify their systems i N terms of fu Nctio Ns over seque Nces (sampled sig Nals). It thus seems both safe a Nd cost effective to try to compile directly those descriptio Ns i Nto executable code. A lot of work has bee N do Ne, so as to get efficie Nt compilatio N, a Nd also i N formal verificatio N. The la Nguage has bee N used i N Nuclear pla Nt co Ntrol, a Nd will be used i N aircraft co Ntrol. ["Outli Ne of a Real-Time Data-Flow La Nguage", J.-L. Bergera Nd et al, Proc IEE-CS Real Time Systems Symp, Sa N Diego, IEEE Dec 1985, pp. 33-42]. ["LUSTRE: A Declarative La Nguage for Programmi Ng Sy Nchro Nous Systems", P. Caspi et al, Co Nf Rec 14th A NN ACM Symp o N Pri Nc Prog La Ngs, 1987]. (1994-10-12) N="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 - (6732 Reads) |