By Topic

RTL semantics for single-rate asynchronous data flow languages

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Rui-Rong Wang ; Dept. of Autom., Hangzhou Inst. of Electron. Eng., China ; Jing-Zhong Wang ; An-ke Xue

The dataflow computational model is a special Petri net, and it has been used and developed in many areas: from programming languages to processor design, and from signal processing to reconfigurable computing. Dataflow languages, which are widely used to describe software and hardware systems, are abstract languages based on dataflow computational model. In order to apply dataflow languages in real-time systems, a well-defined real-time semantics must be provided. Real time logic (RTL) is a first order logic for describing real-time and embedded systems. A RTL formal depiction of single-rate asynchronous dataflow language is presented. By catching the creation and consumption events of tokens and the start and end events of nodes, the dataflow language can well depict use of RTL. With the state predicates and transition event constants, the asynchronous node can be well depicted.

Published in:

Machine Learning and Cybernetics, 2004. Proceedings of 2004 International Conference on  (Volume:2 )

Date of Conference:

26-29 Aug. 2004