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
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;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2012 IEEE 23rd International Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
978-1-4673-5048-8
DOI :
10.1109/ISSREW.2012.55