TAS:: 80 0125:: TAS RECOVERY ACT FUNDS THIS IS A RESEARCH PROGRAM FOR VVFC-1.2 INTEGRATED DISTRIBUTED SYSTE…

Public award description

TAS:: 80 0125:: TAS RECOVERY ACT FUNDS THIS IS A RESEARCH PROGRAM FOR VVFC-1.2 INTEGRATED DISTRIBUTED SYSTEMS WHICH WILL CREATE AN ASSEMBLY OF ANALYTICAL TOOLS AND TECHNIQUES THAT AVIONICS ENGINEERS CAN USE TO COST EFFECTIVELY DEVELOP SAFETY-CRITICAL DISTRIBUTED SYSTEMS FOR 21ST CENTURY AVIATION. THIS WORK WILL COMBINE HONEYWELL'S BODY OF KNOWLEDGE IN PRACTICAL FAULT-TOLERANT ARCHITECTURES AND KNOWLEDGE OF ACTUAL FAILURE MODES WITH THE POWERFUL SUITE OF FORMAL VERIFICATION AND VALIDATION TOOLS, SUCH AS PVS AND SAL TOGETHER WITH THE SYSTEM MODELING AND ANALYSIS CAPABILITIES OF THE EDICT TOOL CHAIN. THE RESEARCH PROPOSES TO ADD NEW CAPABILITES TO THE TOOLS BY INTEGRATING ENHANCED PROBABALISTIC MODELING CAPABILITIES AND ENHANCED TECHNIQUES TO MODEL TIME-VARYING SYSTEM COMPOSITION. THE OBJECTIVES ARE TO CREATE MODELS FOR (1) FAILURES, DISTURBANCES, AND DEGRADATION, (2) COMMUNICATION TOPOLOGIES, DISTRIBUTED ALGORITHMS, (3) NEW SYSTEM DECOMPOSITION, AND FUNCTIONAL INTEGRATION USING TOOLS AND TOOL EXTENSIONS THAT WITH A FRAMEWORK, CAN BE INTEGRATED WITH EACH OTHER AND WITH OTHER SYSTEM DESIGN TOOLS.