Abstract
The dictates of fashion and the desire to use “hot” technology not only affects software developers but also influences potential customers. Where once a client was just content to accept something that worked (actually, would be delighted to have something that worked) now they are concerned about the means by which it was constructed; not just in the sense of was it well-enough constructed but in the more malign sense of was fashionable technology used. This paper shows how the customer’s desire to use de facto standards such as UML and their wish to use languages such as C— perhaps to support a small or unusual processor; to integrate with other subsystems; for the perceived comfort of future portability; or for other, non-technical reasons—can be aligned with the professional engineer’s need to use those tools and languages which are truly appropriate for rigorous software development.
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
Ould, M.A.: Strategies for Software Engineering. John Wiley & Sons, Chichester (1990)
Rational Unified Process, See http://www-3.ibm.com/software/awdtools/rup/
Unified Modelling Language, See http://www.uml.org/
Motor Industry Software Reliability Association, See http://www.misra.org.uk/index.htm
Amey, P.: Correctness by Construction: Better Can Also Be Cheaper. CrossTalk Journal (March 2002), Also downloadable from http://www.sparkada.com
German, A.: Software Static Code Analysis Lessons Learned. Crosstalk Journal 16(11)
Barnes, J.: High Integrity Software - the SPARK Approach to Safety and Security. Addison-Wesley Longman, Amsterdam (2003) ISBN 0-321-13616-0
Finnie, G., et al.: SPARK 95 - The SPADE Ada 95 Kernel — Edition 3.1, Praxis Critical Systems, Also available from Praxis Critical Systems (2002)
Amey, P.: The INFORMED Design Method for SPARK. Praxis Critical Systems, 2001, Also available from Praxis Critical Systems (1999)
Amey, P.: Closing the loop - The Influence of Code Analysis on Design. In: Blieberger, J., Strohmeier, A. (eds.) Ada-Europe 2002. LNCS, vol. 2361, p. 151. Springer, Heidelberg (2002)
Artisan Real Time Studio, See http://www.artisansw.com/
Amey, P.: A Language for Systems not Just Software. In: Proceedings of ACMSIGAda 2001 (2001), Also downloadable from http://www.sparkada.com
Bergeretti, Carré: Information-flow and data-flow analysis of while-programs. In: ACMTransactions on Programming Languages and Systems 1985, pp. 37–61 (1985), Also available from Praxis Critical Systems
Chapman, R., Amey, P.: Industrial Strength Exception Freedom. Proceedings of ACM SIGAda 2002 (2002), Also downloadable from http://www.sparkada.com
King, S., Hammond, J., Chapman, R., Pryor, A.: Is Proof More Cost Effective Than Testing? IEEE Transactions on Software Engineering 26(8), 675–686 (2000), Also downloadable from www.sparkada.com
SofCheck Inc., See http://www.sofcheck.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amey, P., White, N. (2004). High Integrity Ada in a UML and C World. In: Llamosí, A., Strohmeier, A. (eds) Reliable Software Technologies - Ada-Europe 2004. Ada-Europe 2004. Lecture Notes in Computer Science, vol 3063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24841-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-24841-5_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22011-4
Online ISBN: 978-3-540-24841-5
eBook Packages: Springer Book Archive