Verification of requirements for saftey-critical software

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Verification of requirements for saftey-critical software

Full text

Pdf (514 KB)

Source

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

Redondo Beach, California, United States

Pages: 23 - 29

Year of Publication: 1999

ISBN:1-58113-127-5

Also published in ...

Author

Paul B. Carpenter

Aonix, 5040 Shoreham Place, San Diego, CA

Sponsors

SIGCAS: ACM Special Interest Group on Computers and Society
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
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

abstract 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/319294.319299 What is a DOI?

ABSTRACT

The purpose of this paper is to describe a methodology for the verification of safety-critical software. The methodology is implemented with use-cease modeling notation of the Unified Modeling Language (UML). The methodology also contains techniques for creating requirements-based test cases from scenarios. The test cases are formatted for test scripts that exercised the software.

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	Cho, Chin-Kuei, Quality Programming, John Wiley & Sons, Inc, 1987, p 21.
	2	Cho, p 154.
	3	Douglass, Bruce, Real-Time UML. Addison-Wesley, 1998.
	4	Fowler, Martin, UML Distilled. Addison-Wesley, 1997.
	5	IEEE 729, IEEE Standard Glossary of Software Engineering Terminology, 1983, p 37.
	6	IEEE/EIA 12207, Industry Implementation of International Standard ISO/IEC 12207. 1998.
	7	Philippe Kruchten, The Rational Unified Process: an introduction, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
	8	RTCA/D0-178B, Software Considerations In Airborne Systems And Equipment Certification. RTCA, Inc, 1992.
	9	RTCA/D0-178B, p 1.
	10	Putnam P. Texel , Charles B. Williams, Use cases combined with BOOCH/OMT/UML: process and products, Prentice-Hall, Inc., Upper Saddle River, NJ, 1997