By Topic

Proceedings of the IEEE

Issue 9 • Date Sep 1991

Filter Results

Displaying Results 1 - 7 of 7
  • The synchronous data flow programming language LUSTRE

    Page(s): 1305 - 1320
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 well suited for handling time in programs. Moreover, this synchronous interpretation allows it to be compiled into an efficient sequential program. The LUSTRE formalism is very similar to temporal logics. This allows the language to be used for both writing programs and expressing program properties, which results in an original program verification methodology 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

    Page(s): 1321 - 1336
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 constraints. The compiler calculates the solutions of the system and thus can be used as a proof system. The equational approach is a natural way to derive multiprocessor executions of a program. This approach uses a graphical interface of a block-diagram style, and the system is illustrated on a speech recognition application 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

    Page(s): 1213 - 1231
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 of an open communications architecture as a reference model for the development of services and protocols that support the transfer of information over space data communications networks. Detailed specifications of the communication services and information transfer protocols that have reached a high degree of maturity and stability are offered. The author also includes a complete list of currently available CCSDS standards and supporting documentation View full abstract»

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

    Page(s): 1293 - 1304
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 implementation is described with the ESTEREL environment, including simulation, and verification and validation tools. Some ESTEREL uses in various contexts are reported 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

    Page(s): 1234 - 1267
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 a dedicated weather channel. Other relatively simple new instruments for aviation weather support include the low level wind shear alert system, the Doppler wind profilers, the automated weather observation system, and the automated surface observation system. These systems are designed to perform higher level functions such as detection, characterization, and hazard potential estimation of aviation-significant weather phenomena, as well as their communication and display automatically 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

    Page(s): 1270 - 1282
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 on mathematical models. This makes it possible to handle compilation, logical correctness proofs, and verification of real-time programs in a formal way, leading to a clean and precise methodology for design and programming 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

    Page(s): 1283 - 1292
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | 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 authors describe extensions to SML for the design of modular controllers. These extensions allow a compositional approach to model checking which can substantially reduce its complexity. To demonstrate these methods, the authors discuss the specification and verification of a simple central-processing-unit (CPU) controller 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