• DocumentCode
    2549103
  • Title

    Is the current DO-254 verification process adequate for the future?

  • Author

    Butka, B.

  • fYear
    2012
  • fDate
    14-18 Oct. 2012
  • Firstpage
    1
  • Lastpage
    28
  • Abstract
    Presents a collection of slides covering the following topics: requirements based verification; DO-254 verification process; review requirements for correctness and completeness; DAL C designs; DAL A/B designs; modified condition decision coverage; toggle coverage; finite state machine coverage; functional verification.
  • Keywords
    avionics; finite state machines; formal verification; logic CAD; DAL A/B designs; DAL C designs; RBV; current DO-254 verification process; finite state machine coverage; functional verification; modified condition decision coverage; requirements based verification; toggle coverage;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
  • Conference_Location
    Williamsburg, VA
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4673-1699-6
  • Type

    conf

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