Systematic Development of Hard Real-Time Software: A Comparative Study of Three Methods
MetadataShow full item record
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.
Approved for public release; distribution is unlimited.