Accession Number : ADA140886

Title :   Design Methodology for Real-Time Distributed Systems.

Descriptive Note : Final technical rept. 1 Jun 81-31 May 83,

Corporate Author : TECHNION - ISRAEL INST OF TECH HAIFA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Yoeli,M

PDF Url : ADA140886

Report Date : Dec 1983

Pagination or Media Count : 41

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)

Descriptors :   *Digital systems, *Real time, *Systems engineering, *Distributed data processing, Specifications, Computer programming, Microcomputers, Integrated systems, Computer aided design, Computer programs, Computer architecture, Parallel processing, Computer program verification

Subject Categories : Computer Programming and Software
      Computer Hardware
      Computer Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE