Skip to content

Commit

Permalink
Update readme.md
Browse files Browse the repository at this point in the history
  • Loading branch information
reteprelief committed Jun 15, 2018
1 parent 0c8e141 commit 36e457b
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions SafetyTutorial/readme.md
@@ -1,7 +1,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-core/blob/master/org.osate.help/html/plugins/safetyanalysis.md

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-core/blob/master/org.osate.help/html/plugins/safetyanalysisexample.md
https://github.com/osate/osate2/blob/develop/emv2/org.osate.aadl2.errormodel.help/markdown/safetyanalysisexample.md

0 comments on commit 36e457b

Please sign in to comment.