Accession Number:

ADA492296

Title:

Safety Cases for Advanced Control Software

Descriptive Note:

Final rept. 20 Sep 2006-20 Sep 2007

Corporate Author:

YORK UNIV (UNITED KINGDOM)

Report Date:

2007-06-18

Pagination or Media Count:

15.0

Abstract:

This report results from a contract tasking University of York as follows The project will undertake three activities 1. Review current rules and regulations for clearing flight control software to establish a baseline for the other two activities 2. Assess the state-of-the-art in safety cases for adaptive systems and software, including neural networks and agents 3. Outline a generic approach to developing safety cases for adaptive avionics and software. Each activity would produce a stand-alone report for delivery to NASA.

Subject Categories:

  • Flight Control and Instrumentation
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE