Merge "Updated documentation" into bug_561630
diff --git a/publis/CHESSMLprofile.pdf b/publis/CHESSMLprofile.pdf
index 66cbdb3..6007b45 100644
--- a/publis/CHESSMLprofile.pdf
+++ b/publis/CHESSMLprofile.pdf
Binary files differ
diff --git a/publis/CHESSToolset_UserGuide.pdf b/publis/CHESSToolset_UserGuide.pdf
deleted file mode 100644
index 73730bc..0000000
--- a/publis/CHESSToolset_UserGuide.pdf
+++ /dev/null
Binary files differ
diff --git a/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf b/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
new file mode 100755
index 0000000..68743b3
--- /dev/null
+++ b/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
Binary files differ
diff --git a/publis/CHESS_DependabilityGuide.pdf b/publis/CHESS_DependabilityGuide.pdf
new file mode 100755
index 0000000..548de45
--- /dev/null
+++ b/publis/CHESS_DependabilityGuide.pdf
Binary files differ
diff --git a/publis/CHESS_SWDevelopmentGuide.pdf b/publis/CHESS_SWDevelopmentGuide.pdf
new file mode 100755
index 0000000..fefb155
--- /dev/null
+++ b/publis/CHESS_SWDevelopmentGuide.pdf
Binary files differ
diff --git a/publis/CHESS_ToolsetGuide.pdf b/publis/CHESS_ToolsetGuide.pdf
new file mode 100755
index 0000000..acb18a4
--- /dev/null
+++ b/publis/CHESS_ToolsetGuide.pdf
Binary files differ
diff --git a/start.html b/start.html
index 3302e54..5dfc94d 100644
--- a/start.html
+++ b/start.html
@@ -144,18 +144,29 @@
<input name="tabs" id="tab2" type="radio">
<label for="tab2">Documentation</label>
<div id="tab-content2" class="tab-content">
- <p>Check the CHESS user guide available
- <a href="publis/CHESSToolset_UserGuide.pdf"><b>here</b>.</a>
+ <p>Check the <mark>CHESS user guide</mark> available
+ <a href="publis/CHESS_ToolsetGuide.pdf"><b>here</b>.</a>
The user guide will introduce you to the entire CHESS design flow, starting from the creation of a CHESS project to the different CHESS modelling steps and tool features, with step-by-step examples.
</p>
- <!--
- <h3>CHESS Documentation</h3>
- <p style="text-align: left; padding:10px;">
- Here is some text....
- </p>
- -->
- <p>Check the CHESS Modelling Language profile definition available
- <a href="publis/CHESSMLprofile.pdf"><b>here</b>.</a></p>
+ <p>Check the <mark>CHESS Modelling Language profile</mark> definition available
+ <a href="publis/CHESSMLprofile.pdf"><b>here</b>.</a>
+ </p>
+ <p> CHESS provides a variety of model-based analysis, using different backend tools. The following documents guide the user along design flows supported by specific analyses and backend tools:
+ <ul class="listInTabs">
+ <li>
+ <a href="publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf"><b>guide</b></a>
+ for requirements validation, contract-based refinement, model checking, model-based analysis using <mark>OCRA, nuXmv, and xSAP</mark>
+ </li>
+ <li>
+ <a href="publis/CHESS_DependabilityGuide.pdf"><b>guide</b></a>
+ for dependability with <mark>Failure Logic Analysis (FLA)</mark> based upon FPTC - Fault Propagation and Transformation Calculus
+ </li>
+ <li>
+ <a href="publis/CHESS_SWDevelopmentGuide.pdf"><b>guide</b></a>
+ for Schedulability Analysis and End2End Response Time Analysis with <mark>MAST</mark>
+ </li>
+ </ul>
+ </p>
</div>
</li>
<li>
