Verification of flight software with karnough map-based checking

Engineering & Materials Science

• Command and control systems 50%
• Accreditation 47%
• Adaptive control systems 45%
• Unmanned vehicles 43%
• Flight control systems 43%
• Formal methods 41%
• Research laboratories 39%
• Air 38%
• Semiconductor materials 31%
• Actuators 26%
• Decision making 25%
• Aircraft 25%
• Planning 22%
• Testing 18%

Physics & Astronomy

• flight 100%
• computer programs 77%
• vehicles 30%
• command guidance 26%
• flight control 26%
• airspace 22%
• adaptive control 20%
• certification 20%
• decision making 20%
• air 18%
• completeness 17%
• aircraft 16%
• actuation 16%
• planning 15%
• manufacturing 12%
• actuators 12%

Earth & Environmental Sciences

• flight 90%
• software 69%
• control system 26%
• method 23%
• unmanned vehicle 21%
• laboratory research 14%
• certification 14%
• semiconductor 14%
• maturation 13%
• aircraft 11%
• manufacturing 10%
• vehicle 10%
• code 10%
• decision making 9%
• planning 8%
• test 5%