@inproceedings{25768b3abca24d37afc8fb4428b21fff,
title = "ARAIM continuity and availability assertions, assumptions, and evaluation methods",
abstract = "In this paper, we describe assumptions and assertions needed to account for continuity and availability risks in Advance Receiver Autonomous Integrity Monitoring (ARAIM). We identify key differences with current RAIM-based operations, including the potential of ARAIM to not require systematic pre-flight availability screening. The assumptions and assertions provide a rationale on why fault exclusion is needed in horizontal-ARAIM (H-ARAIM), but is not needed in vertical ARAIM (V-ARAIM). We implement existing methods and design new approaches to predict continuity and availability in the presence of satellite faults and outages, and we analyze performance sensitivity to risk requirements and measurement models.",
author = "Mathieu Joerger and Yawei Zhai and Ilaria Martini and Juan Blanch and Boris Pervan",
note = "Publisher Copyright: {\textcopyright} 2020 ION 2020 International Technical Meeting Proceedings. All rights reserved.; Institute of Navigation International Technical Meeting 2020, ITM 2020 ; Conference date: 21-01-2020 Through 24-01-2020",
year = "2020",
doi = "10.33012/2020.17152",
language = "English (US)",
series = "ION 2020 International Technical Meeting Proceedings",
publisher = "Institute of Navigation",
pages = "404--420",
booktitle = "ION 2020 International Technical Meeting Proceedings",
address = "United States",
}