Скачать или смотреть ConsuNova: Advanced Data Coupling & Control Coupling Analysis Tech. for Highly Critical Software

For highly critical and complex software applications in modern avionics the necessity to provide assurance that data coupling and control coupling within a software application has been adequately exercised, during verification activities, is an important activity in the elimination of potential errors. How to exactly satisfy the Data Coupling and Control Coupling objective in DO-178C has often been misunderstood. This presentation will provide a detailed approach to systematically identify all data couplings and control couplings so that performing the analysis in a complete and consistent way becomes achievable. The strategy identified can be extended to include highly complex platforms, such as IMA and Multicore processors, and enable the identification of additional verification that may be required on such complex platforms.