Paper Info
Title
Dataflow-like languages for real-time systems: issues of computational models and notation
Abstract
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
Year
DOI
Venue
1992
10.1109/RELDIS.1992.235124
Houston, TX
Keywords
Field
DocType
diagrams,parallel architectures,real-time systems,specification languages,computational model,dataflow-like models,design support environment,parallel architecture,real-time systems,specification languages,timing
Predictability,Notation,Dependability,Programming language,Computer science,Design support,Real-time computing,Computational model,Dataflow,Expressive power,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-8186-2890-1
6
0.79
References 
Authors
7
3
Name
Order
Citations
PageRank
Andrea Bondavalli1886133.06
Lorenzo Strigini275768.26
Luca Simoncini318424.69