Accession Number : ADA310929

Title :   Software Design for Real-Time Systems on Parallel Computers: Formal Specifications.

Descriptive Note : Final technical rept. Apr 94-Sep 95,

Corporate Author : SYRACUSE UNIV NY DEPT OF ELECTRICAL AND COMPUTER ENGINEERING

Personal Author(s) : Choudary, Alok ; Geholt, Vijay ; Narahari, Bhagirath

PDF Url : ADA310929

Report Date : APR 1996

Pagination or Media Count : 78

Abstract : This research investigated the important issues related to the analysis and design of real-time systems targeted to parallel architectures. In particular, the software specification models for real-time systems on parallel architectures were evaluated. A survey of current formal methods for uniprocessor real-time systems specifications was conducted to determine their extensibility in specifying real-time systems on parallel architectures. In this research, a specification model called Parallel REal Time specification Language (PRETsEL) was defined. It leverages off of existing models while adding the necessary syntax and semantics lacking in existing models in supporting specification of real-time systems for parallel architectures. Examples of utilizing the PRETSEL language are presented.

Descriptors :   *SOFTWARE ENGINEERING, *REAL TIME, *PARALLEL PROCESSORS, COMPUTER PROGRAMS, MATHEMATICAL MODELS, COMMAND CONTROL COMMUNICATIONS, SPECIFICATIONS, PROGRAMMING LANGUAGES, SEMANTICS, ALGEBRA, COMPUTER ARCHITECTURE, PARALLEL PROCESSING, SURVEYS, SYNTAX.

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE