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