Abstract
Electronic systems of hardware, software and operating procedures have been notoriously difficult to develop with reliable operating characteristics. These systems handle logical complexities which surpass anything imaginable a few years ago. This complexity leads to new difficulties in developing and testing because of the number of operating modes and test cases that are possible.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. C. Linger, H. D. Mills, and B. I. Witt,Structured Programming: Theory and Practice, Addison-Wesley Publishing Co., Inc. (1979).
O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare,Structured Programming, Academic Press, Inc. (1972).
J. W. Duran and S. Ntafos, “Report on Random Testing,” University of Texas (Dallas), Technical Report # 83, 1980.
J. W. Duran and J. J. Wiorkowski, “Quantifying Software Validity by Sampling,”IEEE Transactions on Reliability, Vol. R-29, No. 2, June 1980.
W. G. Cochran,Sampling Techniques, John Wiley & Sons, Inc., 1953.
M. Dyer, R. C. Linger, H. D. Mills, D. O’Neill, and R. E. Quinnan, “The Management of Software Engineering,”IBM Systems Journal, Vol. 19, No. 4, 1980.
J. D. Musa, “A Theory of Software Reliability and Its Application,”IEEE Transactions on Software Engineering, Vol. SE-1, September 1975.
Z. Jelinski and P. B. Moranda, “Software Reliability Research,”Statistical Computer Performance Evaluation, Academic Press, Inc. 1972.
B. Littlewood, “How to Measure Software Reliability and How Not to ,” Proceedings 3rd International Conference on Software Engineering, IEEE, 1978.
D. L. Parnas, “The Use of Precise Specifications in the Development of Software,” Proceedings of IFIP Congress, 1977.
K. L. Henninger, J. Kallander, D. L. Parnas, and J. Shore, “Software Requirements for the A-7 Aircraft,” Naval Research Laboratory Report 3876, November 1978.
A. B. Ferrentino and H. D. Mills, “State Machines and Their Semantics in Software Engineering,” Proceedings of IEEE C0MSAC, 1977.
R. C. McHenry and J. A. Rand, “Software Technology and Integration Engineering,” IBM Federal Systems Division Report 78–0034, August, 1978.
R. C. Linger, “Human Productivity in Software Development,” Proceedings of C0MPC0N ’81, September 1981.
H. D. Mills, “Software Engineering,”Science, Vol. 195, No. 4283, March 1971.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dyer, M., Mills, H.D. (1983). Developing Electronic Systems with Certifiable Reliability. In: Skwirzynski, J.K. (eds) Electronic Systems Effectiveness and Life Cycle Costing. NATO ASI Series, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-82014-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-82014-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-82016-8
Online ISBN: 978-3-642-82014-4
eBook Packages: Springer Book Archive