Design and test strategies for a safety-critical embedded executive

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Design and test strategies for a safety-critical embedded executive

Full text

Pdf (900 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada table of contents

Philadelphia, Pennsylvania, United States

Pages: 29 - 37

Year of Publication: 1996

ISBN:0-89791-808-8

Authors

Charles A. Meyer	Intermetrics. Inc., 77 11 Center Avenue, Suite 6 15, Huntington Beach. CA
Michael G. Reznick	Intermetrics. Inc., 77 11 Center Avenue, Suite 6 15, Huntington Beach. CA

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 7, Citation Count: 0

Additional Information:

references 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/240678.240685 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	Ada Runtime Environment Workino~ Group, A Catalog of IntctJhc'e Featttres and Options Jbr the Ada Runtime Environment, Release 2.('), Association for Computing Machinery, December, 1987.
	2	Tom DeMarco, Structured Analysis and System Specification, Prentice Hall PTR, Upper Saddle River, NJ, 1979
	3	DoD-STD-2167A. Military Standard DeJense Srslt'tl! Soflware Dtn'elopment, February 29. 1988.
	4	Nancy G. Leveson, Safeware: system safety and computers, ACM Press, New York, NY, 1995
	5	Thomas McCabe, "A Software Complexity Measure," IEEE Trans. Software Engineerin,',, vol. 2, December 1976, pp. 308-32O.
	6	Charles Meyer. "The lterative Development Method: A Means of Reducing Risk in the Developrnent of Training System Software" 14th Interservice/Industry Training Systems and Edt, cation Conference Proceedings, 1992.
	7	Charles Meyer, Gary Barber, David Soto, "The Product- Driven Development of a Real-Time Ada Executive for the Space Shuttle Cockpit Upgrade," Proceedings of the Twelfth Annual National Conference on Ada Technology, March, 1994.
	8	Glenford J. Myers, Art of Software Testing, John Wiley & Sons, Inc., New York, NY, 1979
	9	Performance Issues Working Group, "Ada Performance Benchmarks", Association for Computing Machinery.
	10	R S Pressman, Software engineering: a practitioner's approach (2nd ed.), McGraw-Hill, Inc., New York, NY, 1986
	11	J Rankin, G Engles, and S Godoy, "Software Sneak Circuit Analysis," AFNL-TR-75-254, Boeing Aerospace Co.. Houston Texas, 1976.
	12	L Sha. R Rajkumar and J Lehoczky, Priority Inheritance Protocols: An APl~roac'h to Real-Time Synchronization, Department of Computer Science, Carnegie-Mellon University, May 1988.
	13	Marilyn Keller , Ken Shumate, Software specification and design: a disciplined approach for real-time systems, John Wiley & Sons, Inc., New York, NY, 1992
	14	Software Productivity Consortium, Ada Quality and Style: Gtddelines for Professional Programtners, SPC-9106 I- CMC, version 02.01.01, Software Productivity Consortium, Herndon, Virginia.
	15	J Edward Yourdon and LarD' Constantine, Strnctured Design, Yourdon Press, Englewood Cliffs, N J, 1978.