Documentation for the GPS Receiver Safety Analysis Example
Part 1: explanation of support for FHA, Fault Impact, and Fault Tree analysis https://github.com/osate/osate2/blob/master/emv2/org.osate.aadl2.errormodel.help/markdown/safetyanalysis.md
Part 2: walk through the GPS receiver example https://github.com/osate/osate2/blob/develop/emv2/org.osate.aadl2.errormodel.help/markdown/safetyanalysisexample.md