Publication | Closed Access
Integrity Design and Updated Test Results for the Stanford LAAS Integrity Monitor Testbed
43
Citations
0
References
2001
Year
Unknown Venue
EngineeringInformation SecurityGlobal Navigation Satellite SystemVerificationTest ResultsMany Other PeopleInformation ForensicsSoftware EngineeringPrecision NavigationSoftware AnalysisFormal VerificationOrbit DeterminationData IntegritySystems EngineeringTrusted Execution EnvironmentGeodesyAutomatic NavigationRuntime VerificationComputer ScienceData SecuritySatellite Navigation SystemsSecurity Testing MethodIntegrity DesignAerospace EngineeringSoftware TestingSpace GeodesyOther Affiliated AgenciesIntegrity Verification
The authors would like to give thanks to many other people in the Stanford GPS research group for their advice and interest. Funding support from the FAA Satellite Navigation LAAS Program Office (AND-710) is appreciated. The opinions discussed here are those of the authors and do not necessarily represent those of the FAA and other affiliated agencies.