Verification of safety-critical software

  • Authors:

  • B. Scott Andersen;George Romanski

  • Affiliations:

  • Verocel, Inc. and Sun Microsystems;Verocel, Inc.

  • Venue:
  • Communications of the ACM
  • Year:
  • 2011

Quantified Score

Hi-index 48.22

Visualization

Abstract

Avionics software safety certification is achieved through objective-based standards.