Semantics-based support tools for high integrity Ada software

Wing Lok YEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)

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.
Original languageEnglish
Title of host publicationReliable Software Technologies — Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2–6, 1997, proceedings
EditorsKeith HARDY, Jim BRIGGS
PublisherSpringer-Verlag GmbH and Co. KG
Pages100-111
Number of pages12
ISBN (Print)9783540631149
DOIs
Publication statusPublished - 1997
Event1997 Ada-Europe International Conference on Reliable Software Technologies - London, United Kingdom
Duration: 2 Jun 19976 Jun 1997

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1251
ISSN (Print)0302-9743

Conference

Conference1997 Ada-Europe International Conference on Reliable Software Technologies
Abbreviated titleAda-Europe'97
CountryUnited Kingdom
CityLondon
Period2/06/976/06/97

Fingerprint Dive into the research topics of 'Semantics-based support tools for high integrity Ada software'. Together they form a unique fingerprint.

  • Cite this

    YEUNG, W. L. (1997). Semantics-based support tools for high integrity Ada software. In K. HARDY, & J. BRIGGS (Eds.), Reliable Software Technologies — Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2–6, 1997, proceedings (pp. 100-111). (Lecture Notes in Computer Science; Vol. 1251). Springer-Verlag GmbH and Co. KG. https://doi.org/10.1007/3-540-63114-3_10