Abstract
The SADLI (Safety Assurance in Diagnostic Laboratory Imaging) research project was set up at the beginning of 1992 with a duration of three years to examine safety critical software development methodologies applied to diagnostic microscopy. It was part funded by the Department of Trade and Industry under the aegis of the IED Safety Critical Systems programme (Ref: IED 4/1/9042). The project was carried out by an industrial consortium, consisting of: first, The Centre for Software Engineering Limited (CSE) who acted as Project leader and experts in safety critical software development and assessment; second, Cambridge Consultants Limited (CCL) who provided expertise in hazard analysis and safety critical system development and assessment; and third, the Medical Research Council’s Human Genetics Unit (HGU) who motivated the cervical cancer screening application and provided expertise in functional programming.
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
Berger, E., “FP + OOP = Haskell”, University of Texas at Austin, March 1992.
Butler J “Use of a Functional Programming Language for Formal Specification” IEE Computing and Control Division on Practical Applications of Formal Methods, 19 May, 1995.
Public Report of the SADLI Project: Safety Assurance in Diagnostic Laboratory Imaging, March 1995. Information Engineering Advanced Technology Programme, Reference IED 4/1/9042. Available from CSE and CCL.
Davie, A. J. T., “An Introduction to Functional Programming Systems Using Haskell.” Cambridge University Press, 1992.
Dijkstra, E. W., “A Discipline of Programming”, Prentice Hall, 1976.
Hoare C. A. R. and J. C. Shepherdson, “Mathematical Logic and Programming Languages.”, Prentice-Hall, 1985.
Hudak P. et al. “Report on the programming language Haskell (V1.2).”, University of Glasgow, 1993.
Jones, M. P., “The implementation of the Gofer Functional Programming System.” Technical Report YALEU/DCS/RR-1030, Yale University, New Haven, Connecticut, USA, 1994.
Peyton Jones, S. L., and P. Wadler, “Imperative functional programming.”, ACM Conference on the Principles Of Programming Languages, pp71-84, 1993.
Poole, I., “A functional programming environment for image analysis.”, 11th International Conference on Pattern Recognition, volume IV, pp124–127, 1992.
Poole I., Charleston D. and Finnie B., “Using the functional programming language Haskell to specify image analysis systems”, Proceedings of the Safety-Critical Systems Symposium, ppl33-149, Bristol 1993.
Poole, I. and D. Charleston, “Experience of developing a cervical cytology scanning system using Gofer and Haskell”, Workshops in computing: Functional Programming ed. K Hammond, D N Turner and P M Sansom, Springer, pp205-217, 1994.
Redmill, F. J., E. A. Johnson, B. Runge, “Document Quality — Inspection”, British Telecommunications Engineering, Vol 6, Jan 1988.
STARTS Purchasers Handbook “Procuring Software-based Systems” Second Edition, 1989.
Turner, D. A., “Recursion equations as a programming language.” In J Darlington and D A Turner, editors, “Functional programming and its applications.” Cambridge University Press, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this paper
Cite this paper
Chudleigh, M., Berridge, C., Butler, J., May, R., Poole, I. (1996). SADLI: Functional Programming in a Safety Critical Application. In: Redmill, F., Anderson, T. (eds) Safety-Critical Systems: The Convergence of High Tech and Human Factors. Springer, London. https://doi.org/10.1007/978-1-4471-1480-2_15
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1480-2_15
Publisher Name: Springer, London
Print ISBN: 978-3-540-76009-2
Online ISBN: 978-1-4471-1480-2
eBook Packages: Springer Book Archive