An ASIS-based static analysis tool for high-integrity systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An ASIS-based static analysis tool for high-integrity systems

Full text

Pdf (557 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 12 - 17

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

William W. Pritchett, IV	DCS Corporation, 1330 Braddock Place, Alexandria, VA
John D. Riley	DCS Corporation, 1330 Braddock Place, Alexandria, VA

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 13, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289524.289527 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Peter G. Neumann, Computer related risks, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
	2	Dan Craigen, Mark Saaltink, and Steve Michell, ,,ida 95 Trustworthiness Study: A Framework for Analysis, TR-95-5499-02, 29 November 1995.
	3	Ada 95 Reference Manual: Language and Standard Libraries: International Standard ISO/IEC 8652:1995, S.T. Taft and 1LA. Duff editors, Springer-Verlag, November 1997.
	4	Dan Craigen, Mark Saaltink, and Steve Michell, Ada 95 Trustworthiness Study: Analysis of ,,Ida 95 for Critical Systems, Version 2.0, TR-97-5499-03a, 25 March 1997.
	5	Mark Saaltink and Steve Michell, Ada 95 Trustworthiness Study: Guidance on the use of Ada 95 in the Development of High Integrity Systems, Version 2.0, TR-97-5499-04a, 25 March 1997.
	6	B. A. Wichmann, Guidance for the use of the Ada programming language in high integrity systems, ACM SIGAda Ada Letters, v.XVIII n.4, p.47-94, July/Aug. 1998 [doi>10.1145/290214.290222]
	7	Ada Semantic Interface Specification, ISO/IEC 15291 - Working Draft, 25 August 1997.
	8	William Pritchett and John Riley, A Static Analysis Tool for High-Integrity Systems - Phase I Final Report, DCS Corporation, Contract N00039-98-C- 0009, 30 April 1998.