Semantics-based support tools for high integrity Ada software

Document Type

Conference paper

Source Publication

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication Date

1-1-1997

Volume

1251

First Page

100

Last Page

111

Publisher

Springer Verlag

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.

DOI

10.1007/3-540-63114-3_10

Print ISSN

03029743

Publisher Statement

Copyright © Springer-Verlag Berlin Heidelberg 1997. Access to external full text or publisher's version may require subscription.

Additional Information

ISBN of the source publication: 9783540631149

Full-text Version

Publisher’s Version

Language

English

Share

COinS