• DocumentCode
    2997027
  • Title

    A reference method for airborne software requirements

  • Author

    Marques, Jose ; Cunha, Antonio

  • Author_Institution
    Dept. of Comput. Sci., Brazilian Aeronaut. Inst. of Technol. (ITA), Sao Jose dos Campos, Brazil
  • fYear
    2013
  • fDate
    5-10 Oct. 2013
  • Firstpage
    1
  • Lastpage
    29
  • Abstract
    Presents a collection of slides covering the following topics: airborne software requirements; software safety standards; CARD-RM definition; DO-178C compliance; safety-critical software; software development life cycle; agile software development; DASC plan-driven standards; requirements-driven standards; document-driven standards; and DO-331 compliance.
  • Keywords
    conformance testing; formal specification; program verification; safety-critical software; software prototyping; software standards; CARD-RM definition; DASC; DO-178C compliance; DO-331 compliance; agile software development; airborne software requirements; document-driven standards; plan-driven standards; requirements-driven standards; safety-critical software; software development life cycle; software safety standards; Computer science; Medical services; Software safety; Standards;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd
  • Conference_Location
    East Syracuse, NY
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4799-1536-1
  • Type

    conf

  • DOI
    10.1109/DASC.2013.6719712
  • Filename
    6719712
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2997027