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


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a235701.pdf


Report Date : Dec 1989


Pagination or Media Count : 52


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