Parallel real-time systems: Formal specification

Alok Nidhi Choudhary*, Vijay Gehlot, Bhagirath Narahari

*Corresponding author for this work

Research output: Contribution to conferencePaper

Abstract

For many real-time applications, parallel computers offer a natural computing platform. However, very little attention has been paid to software support for real-time embedded systems on parallel machines. This paper addresses the problem of formal software specification for parallel real-time systems, and presents some features of a formal specification language - PRETSEL (Parallel REal-Time SpEcification Language). The syntax of PRETSEL is presented and the formal semantic rules are defined. The effectiveness of PRETSEL is demonstrated through the specification of the functionality and timing requirements of a Sonar system.

Original languageEnglish (US)
Pages186-191
Number of pages6
StatePublished - Dec 1 1997
EventProceedings of the 1997 4th International Conference on High Performance Computing, HiPC - Bangalore, India
Duration: Dec 18 1997Dec 21 1997

Other

OtherProceedings of the 1997 4th International Conference on High Performance Computing, HiPC
CityBangalore, India
Period12/18/9712/21/97

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Parallel real-time systems: Formal specification'. Together they form a unique fingerprint.

  • Cite this

    Choudhary, A. N., Gehlot, V., & Narahari, B. (1997). Parallel real-time systems: Formal specification. 186-191. Paper presented at Proceedings of the 1997 4th International Conference on High Performance Computing, HiPC, Bangalore, India, .