Systematic development of hard real-time software: a comparative study of three methods
Loading...
Authors
Lee, Yuh-jeng
Luqi
Berzins, Valdis Andris
Subjects
Advisors
Date of Issue
1992-04
Date
1992-04
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
We present a comparative study on three software development methods which cover the entire development life cycle for hard real-time systems: (1) Structured Analysis, (2) Computer Aided Prototyping, and (3) Spec formal logic specification method. We use a simple example to demonstrate the software development process using all three approaches. The strengths and weaknesses of each method are discussed. Hard real-time systems, Systematic Software development, Structured analysis, Computer aided prototyping, the Spec language
Type
Technical Report
Description
Series/Report No
Department
Computer Science (CS)
Organization
Graduate School of Operational and Information Sciences (GSOIS)
Identifiers
NPS Report Number
NPS-CS-92-007
Sponsors
Funder
Format
28 p. : ill. ; 28 cm.
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.