Safety Cases for Advanced Control Software

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 18, 2007
Accession Number
ADA492296

Entities

People

  • Carl Timothy Kelley
  • John Mcdermid
  • Martin Hall-may
  • Robert Alexander

Organizations

  • University of York

Tags

Communities of Interest

  • Air Platforms
  • Autonomy

DTIC Thesaurus Topics

  • Adaptive Control Systems
  • Adaptive Systems
  • Aircrafts
  • Algorithms
  • Bayesian Networks
  • Boundaries
  • Control Surfaces
  • Control Systems
  • Control Systems Engineering
  • Flight Control Systems
  • Law
  • Literature Surveys
  • Neural Networks
  • Reliability
  • Software Development
  • Standards
  • Unmanned Aerial Vehicles

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aviation Science / Aeronautics.
  • Neural Network Machine Learning.
  • Technical Research and Report Writing.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems