Systematic Development of Hard Real-Time Software: A Comparative Study of Three Methods

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1992
Accession Number
ADA252784

Entities

People

  • Valdis A. Berzins
  • Yuh-jeng Lee

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Complex Systems
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Control Systems
  • Debugging
  • High Level Languages
  • Language
  • Operating Systems
  • Programming Languages
  • Prototypes
  • Software Development
  • Software Prototyping
  • Water Quality

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.