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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1996
Accession Number
ADA310929

Entities

People

  • Alok Choudary
  • Bhagirath Narahari
  • Vijay Geholt

Organizations

  • Syracuse University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Complex Systems
  • Computer Programming
  • Computers
  • Data Sets
  • High Level Languages
  • Language
  • Linguistics
  • Operating Systems
  • Parallel Computing
  • Parallel Processing
  • Petri Nets
  • Programming Languages
  • Semantics
  • Software Design
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Computational Modeling and Simulation
  • Parallel and Distributed Computing.