Methodology Development for the Verification and Validation of Flight CriticalSystems Software. Phase 1

摘要

The results of this conceptual design study have shown that there is a growingneed to develop a methodology by which flight critical systems (FCS) software can be verified and validated for performance and safety impacts. The nature of the evolving technology and its application to FCS Software verification and validation requirements has current VV methods lagging behind design methods and tools. It is recognized throughout government and industry that FCS software VV requires knowledgeable and skilled individuals utilizing proper tools and techniques to successfully complete the VV effort in a timely manner. This report provides an overview of the development process of flight critical systems and the roles of verification and validation which go hand-in-hand with the development process. It provides a conceptual design for a computer aided environment to perform FCS software verification and validation. Current trends in applications of advanced control and integration technologies are bringing about the development of on-board systems that are designed to enhance combat effectiveness and survivability in ever increasing hostile combat environments. Flight critical systems (including integrated flight vehicle sensors) are being controlled and integrated in software.