METHODOLOGY DEVELOPMENT FOR VERIFICATION OF FLIGHT CRITICAL SYSTEMS SOFTWARE

THE OVERALL OBJECTIVE OF THIS PROGRAM IS TO DEVELOP AND DEMONSTRATE AN INTEGRATED VERIFICATION METHODOLOGY WHICH FOCUSES ON HIGHLY COUPLED FLIGHT CRITICAL SYSTEMS SOFTWARE. THE APPLICATIONS OF ADVANCED CONTROL ON INTEGRATION TECHNOLOGIES ARE BRING ABOUT THE DEVELOPMENT OF ON-BOARD SYSTEMS THAT ARE DESIGNED TO ENHANCE COMBAT EFFECTIVENESS AND SURVIVABILITY IN THE EVER INCREASING HOSTILE COMBAT ENVIRONMENTS. FLIGHT CRITICAL SYSTEMS INCLUDING INTEGRATED FLIGHT AND PROPULSION CONTROL, INTEGRATED FLIGHT AND FIRE CONTROL, SELF-REPAIRING FLIGHT CONTROL, VEHICLE MANAGEMENT, PILOT-VEHICLE INTERFACE, AND FLIGHT VEHICLE SENSORS ARE BEING CONTROLLED AND INTEGRATED IN SOFTWARE. THIS PROPOSAL EFFORT IS DESIGNED TO DEVELOP AND DEMONSTRATE A VERIFICATION METHODOLOGY WHICH WILL PROVIDE AN EFFECTIVE AND EFFICIENT SOFTWARE VERIFICATION ENVIRONMENT CONTAINING METHODS, DISCIPLINES, TOOLS AND CONTROLS NEEDED FOR DEVELOPMENT AND VERIFICATION OF HIGHLY RELIABLE, FAULT TOLERANT FLIGHT CRITICAL SOFTWARE.