V dnešní době se letadla pro svůj provoz silně spoléhají na odlišný software. Takový software je však extrémně obtížné testovat a zajistit, aby byl bezpečný, protože je stále složitější, zvláště pokud se do rovnice přidají ...