• DocumentCode
    589536
  • Title

    Overview of 10 Years of ISVV Findings in Safety-Critical Systems

  • Author

    Silva, Nuno ; Lopes, Roseli

  • Author_Institution
    Project Manage. Office-ASD, Critical Software S.A., Coimbra, Portugal
  • fYear
    2012
  • fDate
    27-30 Nov. 2012
  • Firstpage
    83
  • Lastpage
    83
  • Abstract
    Independent V&V activities are common in safety critical systems, where the need to ensure high safety and dependability is crucial. This is the case of the Space domain, namely in the Space segment (on-board and control systems). This industrial paper presents the most relevant Independent Software Verification and Validation (ISVV) metrics and some of the main problem types found during the ISVV activities performed by Critical Software in the past years. These issues have been filtered and specific technical details have been removed due to non-disclosure agreements of the related projects and customers. The presented issues have been extracted from a significant number of projects and ISVV activities, and represent more than 3000 issues found and raised by the Critical Software teams, in the aerospace domain, in projects performed in Europe, America and Asia, covering the last decade.
  • Keywords
    aerospace computing; formal verification; safety-critical software; software metrics; ISVV findings; ISVV metrics; aerospace domain; control systems; critical software; independent V&V activity; independent software verification and validation metrics; on-board systems; safety-critical systems; space segment; Aerospace electronics; Conferences; Measurement; Project management; Safety; Software; Software reliability;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
  • Conference_Location
    Dallas, TX
  • Print_ISBN
    978-1-4673-5048-8
  • Type

    conf

  • DOI
    10.1109/ISSREW.2012.55
  • Filename
    6407379