An aerospace firm is developing flight control software for an autonomous cargo drone. Before launching, the engineering team must inspect the code to find safety-critical bugs and security vulnerabilities.
They are deciding between two inspection strategies:
Both methods are known to be expensive to set up and integrate.
Identify one distinct disadvantage (other than cost) of using:
Manual peer review for this critical flight software.
Automated static analysis for this critical flight software.