By Topic

Proceedings of the IEEE

Issue 9 • Date Sep 1991

Filter Results

Displaying Results 1 - 7 of 7
  • The ESTEREL language

    Publication Year: 1991, Page(s):1293 - 1304
    Cited by:  Papers (144)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (816 KB)

    The authors present the basics of the ESTEREL reactive model of synchronous parallel systems. The ESTEREL programming style, based on instantaneous communications and decisions, is illustrated through the example of a mouse handler. The ESTEREL formal semantics is described, and it is shown how programs can be compiled into finite state sequential machines for efficient execution. The implementati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A language for compositional specification and verification of finite state hardware controllers

    Publication Year: 1991, Page(s):1283 - 1292
    Cited by:  Papers (17)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (900 KB)

    The authors consider the state machine language (SML) for describing complex finite state hardware controllers. It provides many of the standard control structures found in modern programming languages. The state tables produced by the SML compiler can be used as input to a temporal logic model checker that can automatically determine whether a specification in the logic CTL is satisfied. The auth... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The synchronous approach to reactive and real-time systems

    Publication Year: 1991, Page(s):1270 - 1282
    Cited by:  Papers (230)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1000 KB)

    The state of the art in real-time programming is briefly reviewed. The synchronous approach is then introduced informally and its possible impact on the design of real-time and reactive systems is discussed. The authors present and discuss the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sensors and systems to enhance aviation safety against weather hazards

    Publication Year: 1991, Page(s):1234 - 1267
    Cited by:  Papers (7)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4040 KB)

    The authors describe the physics of adverse weather, the basics of Doppler engineering, and a host of advanced sensing systems-some with the ability to autonomously identify and track storm conditions-for all stages of airplane travel. Three major new Doppler radar systems are discussed: the next generation weather radar, the terminal Doppler weather radar, and the airport surveillance radar with ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The synchronous data flow programming language LUSTRE

    Publication Year: 1991, Page(s):1305 - 1320
    Cited by:  Papers (413)  |  Patents (52)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1320 KB)

    The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware. The data flow aspect of LUSTRE makes it very close to usual description tools in these domains (block-diagrams, networks of operators, dynamical sample-systems, etc.), and its synchronous interpretation makes it... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Services, architectures, and protocols for space data systems

    Publication Year: 1991, Page(s):1213 - 1231
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1524 KB)

    The author presents a comprehensive discussion of three major aspects of the work of the Consultative Committee for Space Data Systems (CCSDS), a worldwide cooperative effort of national space agencies. The author examines the CCSDS space data communications network concept on which the data communications facilities of future advanced orbiting systems will be based. He derives the specifications ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming real-time applications with SIGNAL

    Publication Year: 1991, Page(s):1321 - 1336
    Cited by:  Papers (101)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1144 KB)

    The authors present the main features of the SIGNAL language and its compiler. Designed to provide safe real time system programming, the SIGNAL language is based on synchronous principles. Its semantics are defined via a mathematical model of multiple-clocked flows of data and events. SIGNAL programs describe relations on such objects, so that it is possible to program a real time application via... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.

Aims & Scope

The most highly-cited general interest journal in electrical engineering and computer science, the Proceedings is the best way to stay informed on an exemplary range of topics.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
H. Joel Trussell
North Carolina State University