CISUC

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues

Authors



Keywords

aerospace computing,formal verification,safety-critical software,software fault tolerance,European space standards,ISVV,ODC,aerospace systems,defect type influence,fault impact,fault type distribution,independent verification-and-validation activity,integrated space systems,mission critical systems,orthogonal defect classification,safety critical systems,space systems engineering,Aerospace electronics,Documentation,Reliability engineering,Safety,Software,Standards,Critical Systems,Dependability,International standards,Issues,ODC,Quality improvement,Safety,software engineering

Conference

Dependable Systems and Networks Workshops (DSN-W), 2015 IEEE International Conference on 2015

DOI


Cited by

No citations found