A specification language for parallel real-time systems

Author

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

Author_Institution

Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA

fYear

1995

fDate

34814

Firstpage

165

Lastpage

174

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

Keywords

formal specification; parallel architectures; specification languages; PRETSEL; algebraic models; communication primatives; computing platform; explicit parallelism constructs; high-performance computing; information processing; parallel architectures; parallel computers; parallel real-time systems; real-time system software; specification language; structured timing constructs; Application software; Concurrent computing; Embedded system; Formal specifications; Information processing; Parallel machines; Real time systems; Software design; Specification languages; System software;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Real-Time Systems, 1995. Proceedings of the Third Workshop on

Conference_Location

Santa Barbara, CA

Print_ISBN

0-8186-7099-1

Type

conf

DOI

10.1109/WPDRTS.1995.470491

Filename

470491