From 63382782288fcc085432067d85f4ef894c858a96 Mon Sep 17 00:00:00 2001 From: Peter Feiler Date: Fri, 15 Jun 2018 09:14:38 -0400 Subject: [PATCH] Update readme.md --- SafetyTutorial/readme.md | 1 + 1 file changed, 1 insertion(+) diff --git a/SafetyTutorial/readme.md b/SafetyTutorial/readme.md index 6bc539e..90f3021 100644 --- a/SafetyTutorial/readme.md +++ b/SafetyTutorial/readme.md @@ -2,5 +2,6 @@ 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