Design Methodology for Real-Time Distributed Systems.

Abstract

This report establishes a methodology for the structured design of complex, real-time digital systems, involving a high degree of concurrency. The design is based on the initial decomposition of the system specification into a control part and a data processing part. Formal models are developed for both parts, and a design methodology closely related to structured programming, is shown to be applicable. The proposed methodology is particularly suitable for precise and concise system requirements specifications as well as for the application of advanced verification methods. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1983
Accession Number
ADA140886

Entities

People

  • M. Yoeli

Organizations

  • Technion – Israel Institute of Technology

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Classification
  • Command And Control
  • Computer Programming
  • Computer Science
  • Computers
  • Data Processing
  • Formal Languages
  • Information Processing
  • Language
  • Parallel Computing
  • Parallel Processing
  • Petri Nets
  • Software Development
  • Specifications
  • Structured Programming
  • Systems Engineering
  • Theoretical Computer Science

Fields of Study

  • Computer science
  • Engineering

Readers

  • Business Analytics
  • Computational Linguistics
  • Computational Modeling and Simulation