Abstract
This paper considers the necessary attributes of a safety-related programming language against a backdrop of numerous recent reliability measurements made on real systems. These measurements indicate that no particular language is strongly favoured for safety-related work and the paper concludes that the number of lines implemented and the way they are implemented are far more strongly correlated with the ultimate reliability. Until more measurement-based evidence is in place, appropriate advice is very difficult to give to the safety-related programmer as existing measurements and intuition frequently conflict. Effective standardisation is consequently sparse.
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
Adams, N. E. (1984). “Optimizing preventive service of software products.” IBM Tournai Research and Development 28(1): 2–14.
Basili, V. R. and B. T. Perricone (1984). “Software Errors and Complexity: An Empirical Investigation.” Comm. A.C.M: 42–52.
Beizer, B. (1990). Software Testing Techniques Van Nostrand Reinhold.
Carré, B. A. e. a. (1990). SPARK - The SPADE Ada Kernel. Program Validation Ltd.
Compton, B. T. and C. Withrow (1994). Improving Productivity: Using Metrics to Predict and Control Defects in Ada Software Second Annual Oregon Workshop on Software Metrics, Oregon
Compton, B. T. and C. Withrow (1994). Improving Productivity: Using Metrics to Predict and Control Defects in Ada Software Second Annual Oregon Workshop on Software Metrics, Oregon
Cullyer, W. J., S. J. Goodenough, et al. (1991). “The choice of computer languages for use in safety-critical systems.” Software Engineering Journal (March, 1991): 51–58.
Dyer, M. (1992). The Cleanroom Approach to Software Ouality Development John Wiley and Sons.
Forsyth, C., D. Jordan, et al. (1993). A Study of High Integrity Ada: Trusted Ada Compilation. York Software Engineering/British Aerospace.
Grady, R. B. and D. L. Caswell (1987). Software Metrics: Establishing a Company-Wide Program Englewood Cliffs, N.J., Prentice-Hall.
Hatton, L. (1993). The quality and reliability of scientific software Software Quality Management, Southampton, Computation Mechanics Publications, Elsevier.
Hatton, L. (1994a). A case history of automated improvement of software product quality. Software Quality Assurance and Measurement Ed. N. Fenton. London, Chapman-Hall.
Hatton, L. (1994b). Is modularisation always a good idea ? CSR’ 94, Dublin, Ireland, Chapman-Hall.
Hatton, L. (1994c). Safer C: Developing for High-Integrity and Safety-Critical Systems McGraw-Hill, Dec. 1994.
Hatton, L. and T. R. Hopkins (1989). Experiences with Flint, a software metrication tool for Fortran 77 Symposium on Software Tools, Napier Polytechnic, Edinburgh
Hatton, L. and A. Roberts (1994). “How accurate is scientific software ?” To appear in IEEE Transactions on Software Engineering, late 1994
Hausler, P. A., R. C. Linger, et al. (1994). “Adopting Cleanroom software engineering with a phased approach.” IBM Systems Journal 33(1): 89–109.
Hoare, C. A. R. (1981). “The Emperor’s Old Clothes: 1980 Association of Computing Machinery Turing Award lecture.” Comm ACM 24(2)
Hutcheon, A., B. Jepson, et al. (1993). A Study of High Integrity Ada: Tool Support. York Software Engineering and British Aerospace.
IEC (1986). Software for Computers in the Safety Systems of Nuclear Power Stations.
IEC (1991). Software for computers in the application of industrial safety-related systems. International Electrotechnical Commission: Drafts only - cannot yet be referenced.
IEC (1992). Functional Safety of Electrical/Electronic/Programmable Electronic Systems: Generic Aspects. International Electrotechnical Commission: Drafts only - cannot yet be referenced.
Littlewood, B. (1993). The Need for Evidence from Disparate Sources to Evaluate Software Safety. Directions in Safety-critical Systems Eds. F. Redmill and T. Anderson. London, Springer-Verlag. 285.
Littlewood, B. and L. Strigini (1992). “Validation of Ultra-High Dependability for Software-based Systems.” Comm ACM to be published
Moller, K.-H. and D. J. Paulish (1993). An empirical investigation of software fault distribution CSR’93, Amsterdam, Chapman-Hall.
Ostrolenk, G., M. Southworth, et al. (1994). Cost-effective evaluation of a COBOL Parser using an operational Profile CSR’94, Dublin, Ireland.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London Limited
About this paper
Cite this paper
Hatton, L. (1995). “Programming Languages and Safety-Related Systems”. In: Redmill, F., Anderson, T. (eds) Achievement and Assurance of Safety. Springer, London. https://doi.org/10.1007/978-1-4471-3003-1_3
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3003-1_3
Publisher Name: Springer, London
Print ISBN: 978-3-540-19922-9
Online ISBN: 978-1-4471-3003-1
eBook Packages: Springer Book Archive