Accession Number:

ADA235701

Title:

Software Design Methods for Real-Time Systems

Descriptive Note:

Final rept.

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Personal Author(s):

• Gomaa, Hassan

Report Date:

1989-12-01

Pagination or Media Count:

52.0

Abstract:

This module describes the concepts and methods used in the software design of real time systems. It outlines the characteristics of real time systems, describes the role of software design in real time system development, surveys and compares some software design methods for real-time systems, and outlines techniques for the verification and validation of real time designs. For each design method treated, its emphasis, concepts on which it is based, steps used in its application, and an assessment of the method are provided.

Descriptors:

• *SOFTWARE ENGINEERING
• *REAL TIME
• VALIDATION
• COMPUTER PROGRAMS
• VERIFICATION

Subject Categories:

• Computer Programming and Software
• Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE