A specification language for parallel real-time systems

Alok Nidhi Choudhary, Vijay Gehlot, Bhagirath Narahari, Melissa Benincasa, Richard Metzger

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

Abstract

Parallel high-performance computing is gaining momentum as a computing platform for many applications. In recent years, the research in software support for parallel computers has mainly addressed scientific and information processing applications. Very little attention has been paid to real-time embedded system requirements on parallel machines. This research investigates some important issues related to designing real-time system software for parallel computers. In this paper, we discuss a formal specification language for real-time systems on parallel architectures. Towards this end we propose the Parallel REal Time SpEcification Language (PRETSEL). We discuss the computation model on which PRETSEL is based, its syntax, its semantics, and its applicability. PRETSEL extends existing algebraic models by providing structured timing constructs, communication primatives and explicit parallelism constructs.

Original languageEnglish (US)
Title of host publicationProceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1995
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages165-174
Number of pages10
ISBN (Electronic)0818670991, 9780818670992
DOIs
StatePublished - 1995
Event3rd Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1995 - Santa Barbara, United States
Duration: Apr 25 1995 → …

Publication series

NameProceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1995

Conference

Conference3rd Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1995
Country/TerritoryUnited States
CitySanta Barbara
Period4/25/95 → …

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

Fingerprint

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

Cite this