Abstract
The emergence in the software industry of the Unified Modelling Language (UML) has led to the question as to whether it may be used to complement existing development techniques for high integrity systems. Work is in progress to develop a code generator for SPARK Ada from the executable UML (xUML) subset. This paper concentrates on the work completed, which enables the utilisation of SPARK annotations within xUML models for a prototype code generator. The code generated by this prototype has been successfully analysed using the SPARK toolset.
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
Ministry of Defence: Requirements for Safety Related Software in Defence Equipment, Defence Standard 00-55 (August 1997)
Ministry of Defence: Safety Management Requirements for Defence Systems, Interim Defence Standard 00-56, Issue 3 (December 2004)
Raistrick, C., et al.: Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge (2004)
See, www.kc.com
See, www.sparkada.com
Niemann, S.: Executable Systems Design with UML 2.0, I-Logix Inc.
Wilkie, I., et al.: The Action Specification Language Reference Manual, Kennedy Carter Ltd. (2003)
Barnes, J.: High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, Reading (2003)
Finnie, G., et al.: SPARK 95 - The SPADE Ada 95 Kernel - Edition 4.3, Praxis High Integrity Systems (2005)
Amey, P.: The INFORMED Design Method for SPARK, Praxis High Integrity Systems (1999, 2001)
Wilkie, I.: Executable UML and SPARK Ada: The Best of Both Worlds, Zuverlässigkeit in einegebetten Systemen, Ada Deutschlang Tagung 2005. Shaker Verlag (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Curtis, D. (2006). SPARK Annotations Within Executable UML. In: Pinho, L.M., González Harbour, M. (eds) Reliable Software Technologies – Ada-Europe 2006. Ada-Europe 2006. Lecture Notes in Computer Science, vol 4006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767077_7
Download citation
DOI: https://doi.org/10.1007/11767077_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34663-0
Online ISBN: 978-3-540-34664-7
eBook Packages: Computer ScienceComputer Science (R0)