LUSTRE
(A French acronym for Synchronous real-time Lucid). Real-time dataflow language for synchronous syst EMS, especially automatic control and signal processing. A Lucid subset, plus timing operators and user-defined clocks. Designed for automatic control applications. It is based on the idea that automatic control engineers use to analyse, and specify their syst EMS in terms of functions over sequences (sampled signals). It thus se EMS both safe and cost effective to try to compile directly those descriptions into executable code. A lot of work has been done, so as to get efficient compilation, and also in formal verification. The language has been used in nuclear plant control, and will be used in aircraft control. ["Outline of a Real-Time Data-Flow Language", J.-L. Bergerand et al, Proc IEE-CS Real Time Syst EMS Symp, San Diego, IEEE Dec 1985, pp. 33-42]. ["LUSTRE: A Declarative Language for Programming Synchronous Syst EMS", P. Caspi et al, Conf Rec 14th Ann ACM Symp on Princ Prog Langs, 1987]. (1994-10-12) 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 - (6651 Reads) |