• DocumentCode
    2913216
  • Title

    CertWare: A workbench for safety case production and analysis

  • Author

    Barry, Matthew R.

  • Author_Institution
    Kestrel Technol. LLC, Palo Alto, CA, USA
  • fYear
    2011
  • fDate
    5-12 March 2011
  • Firstpage
    1
  • Lastpage
    10
  • Abstract
    Next Generation Air Transportation System (NextGen) is an umbrella term for the ongoing, wide-ranging transformation of the National Airspace System (NAS). NextGen will offer enhanced performance and efficiency over the existing NAS through capabilities distributed across ground, air, and space-based resources.
  • Keywords
    aerospace computing; certification; software architecture; software metrics; software tools; CertWare project; NAS; National Airspace System; next generation air transportation system; software architecture; software metrics; software tool; workbench software certification; Analytical models; Biological system modeling; Organizations; Production; Project management; Prototypes; Safety;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Aerospace Conference, 2011 IEEE
  • Conference_Location
    Big Sky, MT
  • ISSN
    1095-323X
  • Print_ISBN
    978-1-4244-7350-2
  • Type

    conf

  • DOI
    10.1109/AERO.2011.5747648
  • Filename
    5747648
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2913216