Title :
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
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;
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
DOI :
10.1109/WPDRTS.1995.470491
