Breaking through the V and V bottleneck

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1031, Issue , 1996, Pages 344-354

  Croxford, Martin ^a   Sutton, James ^b  

^a Praxis Critical Systems   (United Kingdom)

^b Lockheed Aeronautical Systems Company   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); SOFTWARE DESIGN; SOFTWARE TESTING; VERIFICATION;

CONVENTIONAL METHODS; CORRECTNESS BY CONSTRUCTION; PROJECT COST; SOFTWARE PRODUCTION; V AND V; VERIFICATION-AND-VALIDATION;

FIGHTER AIRCRAFT;

EID: 84958759751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0015506     Document Type: Conference Paper

References (9)

1. Ada 95 Reference Manual, ISO/IEC 8652:1995(E)-RM95; version 6.0, December 1994. (See especially Annex H "Safety and Security".)
2. Alspaugh, S. Faulk, K. Heninger Britton, R. Parker, D. Parnas, J. Shore: Software Requirements for the A7-E Aircraft. Report NRL/FR/5530-92-9194. Naval Research Laboratory, Washington, D.C., 1992.
3. B.A. Carré, J.R. Garnsworthy: SPARK - An annotated Ada subset for safety-critical programming. In: Proceedings of Tri-Ada Conference, Baltimore, December 1990.
4. S. Faulk, L. Finneran, J. Kirby, Jr., S. Shah, J. Sutton: Experience applying the CoRE method to the Lockheed C-130J software requirements. In: Proceedings of Ninth Annual Conference on Computer Assurance, Gaithersburg, MD, 1994, pp. 3-8.
5. J.R. Garnsworthy, I.M. O’Neill, B.A. Carré: Automatic proof of absence of runtime errors. In: Proceedings of Ada UK Conference, London Docklands, October 1993.
6. Program Validation Ltd.: The Formal Semantics of SPARK (Volume 1: Static Semantics; Volume 2: Dynamic Semantics). Praxis PVL, 20 Manvers Street, Bath BAI IPX, U.K., 1994.
7. RTCA: Software Considerations in Airborne Systems and Equipment Certification. RTCA/DO-178B, 1994
8. Software Productivity Consortium: Consortium Requirements Engineering Guidebook, SPC-92060-CMC version 01.00.09. Software Productivity Consortium, Herndon, VA, U.S., 1993
9. Software Productivity Consortium: ADARTS Guidebook, SPC-94107-N, version 02.01.00 Software Productivity Consortium, Herndon, VA, U.S., 1991.