Programming reactive systems using dataflow

dc.contributor.authorVempati, Naganjaneya Sarmaen_US
dc.date.accessioned2024-08-15T20:11:51Z
dc.date.available2024-08-15T20:11:51Z
dc.date.copyright1990en_US
dc.date.issued1990
dc.degree.departmentDepartment of Computer Science
dc.degree.levelMaster of Science M.Sc.en
dc.description.abstractRLUCID, presented in this thesis as a programming language for real-time applications, is an extension of LUCID, a dataflow language. The notion of time enters the language through the timestamped streams: LUCID streams of values together with a corresponding stream of timestamps . Two additional operators, Which and II (read 'synchro') are introduced to exploit the timing information without developing uncausal relations. RLUCID is sufficiently expressive. It is employed in providing an alternative semantics of LUSTRE, a real-time dataflow language, more intuitively. Further, a solution to an important problem of defining an interface to a LUSTRE program, is presented. Traditionally written in 'C', this interface maps the inherently asynchronous environment to the synchronous kernel generated from a LUSTRE program. Proposed here is a new language, APRIL, to concisely define such interfaces in a synchronous manner. The primitive operators of APRIL are defined by RLUCID functions.
dc.format.extent77 pages
dc.identifier.urihttps://hdl.handle.net/1828/19986
dc.rightsAvailable to the World Wide Weben_US
dc.titleProgramming reactive systems using dataflowen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
VEMPATI_Naganjaney_Sarma_MSc_1990_514783.pdf
Size:
1.04 MB
Format:
Adobe Portable Document Format