Integrity Analysis For Aviation And Automotive Applications