Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 1997: Reliable Software Technologies — Ada-Europe '97 pp 100–111Cite as

Semantics-based support tools for high integrity Ada software

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1251))

Abstract

This paper introduces a rigorous approach to developing high integrity software with Ada and the Jackson System Development (JSD) method. The approach involves the use of a specification language, called FJSD, in expressing JSD designs. FJSD is introduced and illustrated with a simple example in this paper. A semantic analysis tool and an Ada code generator have been developed based on the denotational semantics of FJSD. The semantic analysis tool translates an FJSD specification into the formalism of Communicating Sequential Processes (CSP) for formal reasoning and the Ada code generator produces Ada code from an FJSD specification. The strength of the approach lies in the rigour of FJSD and its semantic definition which have allowed the highly systematic development of the support tools.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ministry of Defence. The Procurement of Safety Critical Software in Defence Equipment. INTERIM Defence Standard 00–55, April 1991.

    Google Scholar 

  2. Edward Yourdon. Structrtred Systems Analysis. Prentice Hall, 1990.

    Google Scholar 

  3. HOOD Technical Group. HOOD Reference Manual. Prentice Hall and Masson, 1999.

    Google Scholar 

  4. J.R. Cameron. An Overview of JSD. IEEE Trans. Software Eng., SE-12(2), 1986.

    Google Scholar 

  5. M.A. Jackson. System Development. Prentice Hall, 1983.

    Google Scholar 

  6. J. A. McDermid et al. Tool Support for High Integrity Ada Software. In 1st International Eurospace — Ada-Europe Symposium, September 1994.

    Google Scholar 

  7. A. Alapide et al. Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application. In 2nd International Eurospace — Ada-Europe Symposium, October 1995.

    Google Scholar 

  8. J. Dick and J. Loubersac. Integrating Structured and Formal Methods: A Visual Approach to VDM. In 3rd European Software Engineering Conference, October 1991.

    Google Scholar 

  9. W.L. Yeung et al. Theoretical Basis for Jackson System Development. Information and Software Technology Journal, 34(8), August 1992.

    Google Scholar 

  10. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

    Google Scholar 

  11. W.L. Yeung. System Development with Communication Sequential Processes: Formalisation and Related Studies. PhD thesis, Staffordshire University, Stafford, England, October 1991.

    Google Scholar 

  12. B. Sandon. An Entity-Life Modeling Approach to the Design of Concurrent Software. Communications of ACM, 32:330–343, 1989.

    Google Scholar 

  13. M. Wand. A Semantic Prototyping System. In SIGPLAN '84 Symp. on Compiler Construction, pages 213–221, 1984.

    Google Scholar 

  14. S.C. Johnson. Yacc: Yet Another Compiler-Compiler. CSTR 32, Bell Laboratories, Murray Hill, NJ, 1975.

    Google Scholar 

  15. J.K. Foderara, K.L. Skowler, and K. Layer. The Franz LISP Manual. University of California, Berkeley, CA, 1983.

    Google Scholar 

  16. C.J. Fidge. A LISP Implementation of the Model for Communicating Sequential Processes. Software Practice and Experience, 18(10):823–943, 1988.

    Google Scholar 

  17. M.E.C. Hull. Implementations of the CSP Notation for Concurrent Systems. Computer Journal, 29(6), 1986.

    Google Scholar 

  18. K.L. Wrench. CSP-i: An implementation of Communicating Sequential Processes. Software Practice and Experience, 18(6):545–560, 1988.

    Google Scholar 

  19. W.L. Yeung and G. Topping. Implementing jsd designs in ada — a tutorial. ACM SIGSOFT Software Eng. Notes, 13(3):25–32, July 1990.

    Google Scholar 

  20. J.R. Cameron. Mapping JSD network specifications into Ada. Ada User, 8(Supp):S91–S99, 1987.

    Google Scholar 

  21. J.R. Lawton and N. France. The Transformation of JSD Specification into Ada. Ada User, 9(1):29–39, 1988.

    Google Scholar 

  22. B. Ratcliff and M. Boyle. The PRESTIGE workbench: CASE support for the implementation phase of JSD. Software Engineering Journal, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lingnan College, Hong Kong

    W. L. Yeung

Authors
  1. W. L. Yeung
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Keith Hardy Jim Briggs

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yeung, W.L. (1997). Semantics-based support tools for high integrity Ada software. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-63114-3_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63114-9

  • Online ISBN: 978-3-540-69150-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation