Syntax and seimantics of Pretsel-A specification language for parallel real-time systems

Alok Nidhi Choudhary, Vijay Gehlot, Bhagirath Narahari

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

For many real-time applications (e.g. Command, Control, and Communications), parallel computers offer a natural computing platform. However, very little attention has been paid to the specification requirements of real-time systems implemented on parallel machines. Towards this end, we propose a specification language PRETSEL (Parallel REal-Time SpEcification Language). The PRETSEL specification language is based on a traditional two-level view of parallel computing whereby a parallel computation is viewed as a collection of interacting (data) parallel algorithms. This view is naturally reflected in PRETSEL syntax where at the lower level various constructs are provided for the specification of a data-parallel real-time algorithm (data-parallelism). At the upper level another set of constructs is provided to combine such tasks in a variety of way (task-parallelism). Furthermore, the PRETSEL language allowsfor the specification of performance requirements. PRETSEL is currently being evaluated for real-time avionics applicaitons. In this paper we describe the sysntax and operational semantics of PRETSEL and establish results relating the functional and the temporal behaviors.

Original languageEnglish (US)
Title of host publicationArchitecture and Software Technology
PublisherIEEE Computer Society
Pages525-534
Number of pages10
ISBN (Electronic)0818673249
DOIs
StatePublished - Jan 1 1996
Event29th Hawaii International Conference on System Sciences, HICSS 1996 - Wailea, United States
Duration: Jan 3 1996Jan 6 1996

Publication series

NameProceedings of the Annual Hawaii International Conference on System Sciences
Volume1
ISSN (Print)1530-1605

Conference

Conference29th Hawaii International Conference on System Sciences, HICSS 1996
CountryUnited States
CityWailea
Period1/3/961/6/96

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Syntax and seimantics of Pretsel-A specification language for parallel real-time systems'. Together they form a unique fingerprint.

  • Cite this

    Choudhary, A. N., Gehlot, V., & Narahari, B. (1996). Syntax and seimantics of Pretsel-A specification language for parallel real-time systems. In Architecture and Software Technology (pp. 525-534). [95502] (Proceedings of the Annual Hawaii International Conference on System Sciences; Vol. 1). IEEE Computer Society. https://doi.org/10.1109/HICSS.1996.495502