Looking into safety with the safety and security Rapporteur group

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Looking into safety with the safety and security Rapporteur group

Full text

Pdf (611 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: 7 - 11

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

Stephen Michell	Maurya Software Inc, 29 Maurya Ct., Ottawa, Ontario
Mark Saaltink	ORA Canada, 1208-1 Nicholas St., Ottawa, Ontario
Brian Wichmann	National Physical Laboratories, Teddington, Middlesex, United Kingdom

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): 6, 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.289526 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	Intermetrics. The Annotated Ada Reference Manual_ December 1994.
	2	ANSI/ISO/IEC 8652 International Standard. Ada95 Reference Manual, Intermetrics, January 1995.
	3	ISO-IEC/JTC1/SC22/WG9 ASIS Rapporteur Group. Ada Semantic Interface Specification DRAFT 2.0 (ASIS)_ Available by FTP from sw-eng.falls-church.va.us as file public/AdaIC/work-grp/asiswg/asis/v2.0/ASIS-2.0.N
	4	John Barnes. High Integrity Ada: The Spark Approach. Addison Wesley Longman, 1997.
	5	Dan Craigen, Mark Saaltink, and Steve Michell. Ada95 2Yustworthiness Study: A Framework for Analysis. ORA Canada Report TR-95-5499-02, November 1995.
	6	The Canadian 7Fusted Computer Product Evaluation Criteria. Canadian System Security Centre, Communications Security Establishment, Government of Canada. Version 3.0e, January 1993.
	7	B. Carte and T. Jennings. SPARK: The SPADE Ada Kernel. Department of Electronics and Computer Science, University of Southampton, March 1988.
	8	Software Considerations in Airborne Systems and Equipment Certification (DO-178B/-ED-1~B). I~TCA Inc., Washington, D.C_, December 1992.
	9	D. Guaspari , C. Marceau , W. Polak, Formal Verification of Ada Programs, IEEE Transactions on Software Engineering, v.16 n.9, p.1058-1075, September 1990 [doi>10.1109/32.58790]
	10	ISO-IEC/JTC1/SC22/WG9 Safety and Security Rapporteur Group. Guidance on the Use of the Ada Programming Language in High Integrity Systems, Draft 3.5
	11	Nancy G. Leveson, Safeware: system safety and computers, ACM Press, New York, NY, 1995
	12	Peter G. Neumann, Computer related risks, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1995
	13	Mark Saaltink and Steve Michell. Ada95 ffFustworthihess Study: Analysis of Ada95 .for Critical Systems. ORA Canada Report TR-95-5499-03, July 1996.
	14	Mark Saaltink and Stephen MicheU. Ada95 7Fustworthiness Study: Guidance on the Use o.f Ada95 in the Development of High Integrity Systems. ORA Canada Technical Report TR-97-5499-04a, 1997
	15	Soft-ware Productivity Consortium. Acla 95 Quality and Style: Guidelines for Professional Programmers. SPC- 94093-CMC, October 1995.
	16	Michael Smith. The AVA Reference Manual. Technical Report 64, Computational Logic Inc., February 1992.
	17	The Procurement of Safety Related Software in Defence Equipment (Parts i and 2). U.K. Ministry of Defence, Standard 00-55 (Draft), 1995.