Abstract
This paper describes the results of a study into development processes and supporting tools appropriate for the development of safety critical and other high integrity using Ada. It describes an idealised development process and defines a minimum expected process as a subset of this. It then considers which activities in this process can be supported by tools and highlights activities which are not yet supported by commercial-off-the-shelf tools. An innovative approach to hazard analysis of the development process is also presented, with a suggested structure for a process safety case. Finally, the issues of process and tool assessment and the construction of better toolsets are addressed.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Blake, S. The Ada Semantic Interface Specification, Tri-Ada '93 ASIS Tutorial Presentation, Alsys Inc, 1993.
Garnsworthy, J., O'Neill, I. and Carré, B. A., Automatic proof of the absence of run-time errors, in Ada: Towards Maturity, ed. L. Collingbourne. Amsterdam: IOS Press, 1993.
Jennings, T. J. and Carré, B. A., A subset of Ada for formal verification (SPARK), Ada User, Vol. 9 Supplement, pp. 121–126, 1989.
Jordan, D. T, Locke C. J., McDermid, J. A., Parker, C. E., Sharp, B. A. P, Toyn, I., Literate formal development of Ada from Z for safety critical applications, Proc. SAFECOMP 94, Anaheim, CA, October 1994.
Jordan, D.T. and Wand, I. C., A high integrity subset of Ada, Department of Computer Science, University of York, 1993.
Ministry of Defence, The Procurement of Safety Critical Software in Defence Equipment, INTERIM Defence Standard 00-55, Parts I and II, Issue 1.5, April 1991.
Ministry of Defence, Hazard Analysis and Safety Classification Software of the Computer and Programmable Electronic System Elements of Defence Equipment, INTERIM Defence Standard 00-56, Issue 1.5, April 1991.
Pierce, R.H. and Webb, J.T., The MALPAS analysis system for Ada, in Ada: Experiences and Prospects, ed. B. Lynch, Cambridge University Press, June 1990.
Spivey, J. M., The Z notation: a reference manual, second edition, Prentice Hall, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hutcheon, A.D., Jordan, D.T., McDermid, J.A., Pierce, R.H., Wand, I.C., Jepson, B.J. (1994). Tool support for high integrity Ada software. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1994. Lecture Notes in Computer Science, vol 887. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58822-1_89
Download citation
DOI: https://doi.org/10.1007/3-540-58822-1_89
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58822-1
Online ISBN: 978-3-540-49110-1
eBook Packages: Springer Book Archive