Dataflow-like languages for real-time systems: issues of computational models and notation

The use of dataflow-like models for the in-the-large design of real-time applications is discussed. In these models, modules can only communicate by (asynchronously) receiving messages when activated and transmitting result messages when terminating. This rather restrictive computational model allow...

Full description

Saved in:
Bibliographic Details
Published in[1992] Proceedings 11th Symposium on Reliable Distributed Systems pp. 214 - 221
Main Authors Bondavalli, A., Strigini, L., Simoncini, L.
Format Conference Proceeding
LanguageEnglish
Published IEEE Comput. Soc. Press 1992
Subjects
Application software
Bonding
Computational modeling
Computer languages
Power system modeling
Predictive models
Real time systems
Redundancy
Software systems
Timing
Online AccessGet full text

Cover

More Information
Summary:The use of dataflow-like models for the in-the-large design of real-time applications is discussed. In these models, modules can only communicate by (asynchronously) receiving messages when activated and transmitting result messages when terminating. This rather restrictive computational model allows the description of typical, cyclic control programs, with predictable, well-verifiable behavior. In particular, important timing properties can be dealt with in the in-the-large design. The case for the use of dataflow-like models is outlined, and the choice of appropriate notations, which implies a tradeoff between predictability of behavior and expressive power, and the potential for an advanced design support environment are discussed.< >
ISBN:9780818628900
0818628901
DOI:10.1109/RELDIS.1992.235124