Merged with changes in documentation
diff --git a/publis/CHESS_ArchitecturalPatternsGuides.pdf b/publis/CHESS_ArchitecturalPatternsGuides.pdf
new file mode 100755
index 0000000..511b352
--- /dev/null
+++ b/publis/CHESS_ArchitecturalPatternsGuides.pdf
Binary files differ
diff --git a/publis/CHESS_MobiusIntegrationGuide.pdf b/publis/CHESS_MobiusIntegrationGuide.pdf
new file mode 100755
index 0000000..3079210
--- /dev/null
+++ b/publis/CHESS_MobiusIntegrationGuide.pdf
Binary files differ
diff --git a/publis/CHESS_RuntimeMonitoringGuide.pdf b/publis/CHESS_RuntimeMonitoringGuide.pdf
new file mode 100755
index 0000000..5700652
--- /dev/null
+++ b/publis/CHESS_RuntimeMonitoringGuide.pdf
Binary files differ
diff --git a/publis/CHESS_ToolsetGuide.pdf b/publis/CHESS_ToolsetGuide.pdf
index acb18a4..ec211dc 100755
--- a/publis/CHESS_ToolsetGuide.pdf
+++ b/publis/CHESS_ToolsetGuide.pdf
Binary files differ
diff --git a/start.html b/start.html
index 1027b9c..5f3ca56 100644
--- a/start.html
+++ b/start.html
@@ -158,38 +158,63 @@
<li><input name="tabs" id="tab2" type="radio"> <label
for="tab2">Documentation</label>
<div id="tab-content2" class="tab-content">
- <p>
- Check the
- <span style="color: #FF6633">CHESS user guide</span>
- 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>
- <p>
- Check the
- <span style="color: #FF6633">CHESS Modelling Language profile</spam>
- 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 <span style="color: #FF6633">OCRA, nuXmv,
- and xSAP</span></li>
- <li><a href="publis/CHESS_DependabilityGuide.pdf"><b>guide</b></a>
- for dependability with <span style="color: #FF6633">Failure Logic Analysis (FLA)</span>
- 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 <span style="color: #FF6633">MAST</span></li>
- </ul>
- </div></li>
+ <p>
+ Find below a list of documents that guide that introduce you to CHESS
+ <h4>Modeling and overview of tool features</h4>
+ Check out the CHESS user guide 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>
+ <p>
+ <h4>CHESS Modelling Language profile</h4>
+ Check out the CHESS Modelling Language profile
+ definition available <a href="publis/CHESSMLprofile.pdf"><b>here</b>.</a>
+ </p>
+ <p>
+ <h4>CHESS Support to System-Level Analysis</h4>
+ CHESS provides a variety of model-based analysis, using
+ different backend tools (OCRA, nuXmv, xSAP). The following document guides the user
+ along a system-level design flow from requirements specification and validation, to
+ contract-based architectural design, to components implementation and verification, to
+ fault injection and model-based safety analysis. Check out the guide available
+ <a href="publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf"><b>here</b></a>.
+ </p>
+ <p>
+ <h4>CHESS Support to Dependability Analysis</h4>
+ Check out the guide available
+ <a href="publis/CHESS_DependabilityGuide.pdf"><b>here</b></a>
+ to support state-based quantitative analysis and Failure Logic Analysis (FLA)
+ based upon FPTC - Fault Propagation and Transformation Calculus
+ </p>
+ <p>
+ <h4>CHESS Support to Stochastic Analysis</h4>
+ CHESS supports modelling of safety and security concerns and automated transformations
+ to SAN models for reliability analysis with the MOBIUS tool.
+ Check out the guide available
+ <a href="publis/CHESS_MobiusIntegrationGuide.pdf"><b>here</b></a>
+ </p>
+ <p>
+ <h4>CHESS Support to Software-Level Analysis</h4>
+ Check out the guide available
+ <a href="publis/CHESS_SWDevelopmentGuide.pdf"><b>here</b></a>
+ for Schedulability Analysis and End2End Response Time Analysis
+ with MAST
+ </p>
+ <p>
+ <h4>CHESS Support to Architectural Patterns</h4>
+ The CHESS tool includes a library of design patterns to be instantiated in a model.
+ Check out the guide available
+ <a href="publis/CHESS_ArchitecturalPatternsGuides.pdf"><b>here</b></a>
+ </p>
+ <p>
+ <h4>CHESS Support to Runtime Monitoring</h4>
+ The CHESS tool includes includes trace analysis and back propagation support.
+ Check out the guide available
+ <a href="publis/CHESS_RuntimeMonitoringGuide.pdf"><b>here</b></a>
+ </p>
+ </div></li>
<li><input name="tabs" id="tab3" type="radio"> <label
for="tab3">Model Examples</label>
<div id="tab-content3" class="tab-content">