LUSTRE
(A French acronym for Synchronous real-time Lucid). Real-time d ATaflow language for synchronous systems, especially autom ATic control and signal processing. A Lucid subset, plus timing oper ATors and user-defined clocks. Designed for autom ATic control applic ATions. It is based on the idea th AT autom ATic control engineers use to analyse, and specify their systems in terms of functions over sequences (sampled signals). It thus seems 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 compil ATion, and also in formal verific ATion. The language has been used in nuclear plant control, and will be used in aircraft control. ["Outline of a Real-Time D ATa-Flow Language", J.-L. Bergerand et al, Proc IEE-CS Real Time Systems Symp, San Diego, IEEE Dec 1985, pp. 33-42]. ["LUSTRE: A Declar ATive Language for Programming Synchronous Systems", 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 - (6610 Reads) |