search menu icon-carat-right cmu-wordmark

Comparative Evaluations of Four Specification Methods for Real-Time Systems

Technical Report
This report describes the evaluation of four methods for the specification of system and software requirements for time-critical systems.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-89-TR-036

Abstract

A number of methods have been proposed in the last decade for the specification of system and software requirements for time-critical systems. The emerging CASE technology is based heavily on a subset of these methods; yet little objective attention has been paid to the methods themselves. This report describes our objective evaluation of four methods (identified as ESML, Harel, Hatley-Pirbhai, and Ward-Mellor), from identification through detailed assessment. We have avoided the use of small sample problems as the sole basis of our evaluation. We depart from this approach by involving software developers from various application domains, including extended interviews of those who have applied the methods to large-scale projects. The resulting recommendations and conclusions focus on method selection criteria, and on the large-grained impact of using these methods on a given project. 

The primary audience of this report is the software development practitioner involved in the method selection or adoption process. The paper attempts to provide proper context to assist the practitioner in making appropriate method adoption decisions. Secondarily, the results of the paper also should be of to tool vendors, method developers, and program managers.

Cite This Technical Report

Wood, D., & Wood, W. (1989, December 1). Comparative Evaluations of Four Specification Methods for Real-Time Systems. (Technical Report CMU/SEI-89-TR-036). Retrieved February 23, 2024, from https://insights.sei.cmu.edu/library/comparative-evaluations-of-four-specification-methods-for-real-time-systems/.

@techreport{wood_1989,
author={Wood, David and Wood, William},
title={Comparative Evaluations of Four Specification Methods for Real-Time Systems},
month={Dec},
year={1989},
number={CMU/SEI-89-TR-036},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/comparative-evaluations-of-four-specification-methods-for-real-time-systems/},
note={Accessed: 2024-Feb-23}
}

Wood, David, and William Wood. "Comparative Evaluations of Four Specification Methods for Real-Time Systems." (CMU/SEI-89-TR-036). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, December 1, 1989. https://insights.sei.cmu.edu/library/comparative-evaluations-of-four-specification-methods-for-real-time-systems/.

D. Wood, and W. Wood, "Comparative Evaluations of Four Specification Methods for Real-Time Systems," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-89-TR-036, 1-Dec-1989 [Online]. Available: https://insights.sei.cmu.edu/library/comparative-evaluations-of-four-specification-methods-for-real-time-systems/. [Accessed: 23-Feb-2024].

Wood, David, and William Wood. "Comparative Evaluations of Four Specification Methods for Real-Time Systems." (Technical Report CMU/SEI-89-TR-036). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Dec. 1989. https://insights.sei.cmu.edu/library/comparative-evaluations-of-four-specification-methods-for-real-time-systems/. Accessed 23 Feb. 2024.

Wood, David; & Wood, William. Comparative Evaluations of Four Specification Methods for Real-Time Systems. CMU/SEI-89-TR-036. Software Engineering Institute. 1989. https://insights.sei.cmu.edu/library/comparative-evaluations-of-four-specification-methods-for-real-time-systems/