Merged with changes in documentation
diff --git a/community.html b/community.html
index 34a354e..0b49ef9 100644
--- a/community.html
+++ b/community.html
@@ -144,7 +144,7 @@
</ul>
<ul class="endfooter">
<li><h4>Other</h4></li>
- <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></li>
+ <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
<li><a href="http://www.intecs.it/">Intecs</a></li>
<li><a href="http://www.unipd.it">University of Padova</a></li>
<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/download.html b/download.html
index ee57b47..c775a3e 100644
--- a/download.html
+++ b/download.html
@@ -95,7 +95,7 @@
</ul>
<ul class="endfooter">
<li><h4>Other</h4></li>
- <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></li>
+ <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
<li><a href="http://www.intecs.it/">Intecs</a></li>
<li><a href="http://www.unipd.it">University of Padova</a></li>
<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/events.html b/events.html
index c2eb58f..307d56c 100644
--- a/events.html
+++ b/events.html
@@ -111,7 +111,7 @@
</ul>
<ul class="endfooter">
<li><h4>Other</h4></li>
- <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></li>
+ <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
<li><a href="http://www.intecs.it/">Intecs</a></li>
<li><a href="http://www.unipd.it">University of Padova</a></li>
<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/features.html b/features.html
index 03c89fa..7c155be 100644
--- a/features.html
+++ b/features.html
@@ -298,7 +298,7 @@
</ul>
<ul class="endfooter">
<li><h4>Other</h4></li>
- <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></li>
+ <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
<li><a href="http://www.intecs.it/">Intecs</a></li>
<li><a href="http://www.unipd.it">University of Padova</a></li>
<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/index.html b/index.html
index ed87ead..fc159b1 100644
--- a/index.html
+++ b/index.html
@@ -90,22 +90,20 @@
components at the level of component design down to the execution level.
</p>
<p>
- CHESS also addresses the description and verification of system and component dependability
- properties (like fault, error, failures and failures propagations) through a dedicated UML profile for dependability
- and seamless integration with embedded and external dependability tools enabling failure propagation and
- state based analysis.
+ CHESS enables the design of safety-critical systems implementing the contract-based paradigm. The structural and behavioural aspects are verified interacting respectively with contract-based verification tools (such as <a href="https://ocra.fbk.eu/">OCRA</a>) and model checking tools (such as <a href="https://nuxmv.fbk.eu/">nuXmv</a>).
</p>
<p>
- CHESS also provides a profile allowing contract-based design and dedicated model transformation enabling
- seamless integration with external tools for the verification of contracts specification.
- </p>
+ CHESS also addresses the description and verification of system and component dependability
+ properties (like fault, error, failures and failures propagations) through a dedicated UML profile for dependability
+ and seamless integration with embedded and external dependability tools, such as <a href="https://xsap.fbk.eu/">xSAP</a>, enabling failure propagation and
+ state based analysis.
+ </p>
<p>
CHESS tooling extends Papyrus editor to properly support the CHESS methodology, in particular
allowing working with different views on the model including requirements, system, components,
deployment and analysis view.
</p>
-
-
+
<h3>Description</h3>
<p>
CHESS implements the CHESS UML/SysML profile, a specialization of the Modeling and Analysis of
@@ -180,7 +178,7 @@
</ul>
<ul class="endfooter">
<li><h4>Other</h4></li>
- <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></li>
+ <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
<li><a href="http://www.intecs.it/">Intecs</a></li>
<li><a href="http://www.unipd.it">University of Padova</a></li>
<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
diff --git a/start.html b/start.html
index b5a62ab..5f3ca56 100644
--- a/start.html
+++ b/start.html
@@ -48,7 +48,7 @@
<div id="tab-content1" class="tab-content">
This page provides all the information needed to setup the
CHESS tool. Please refer also to the provided <a
- href="publis/CHESSToolset_UserGuide.pdf"><b>user guide</b></a> to
+ href="publis/CHESS_ToolsetGuide.pdf"><b>user guide</b></a> to
check the extensions currently available for CHESS.
<h3>Needed environment</h3>
@@ -267,7 +267,7 @@
</ul>
<ul class="endfooter">
<li><h4>Other</h4></li>
- <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></li>
+ <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
<li><a href="http://www.intecs.it/">Intecs</a></li>
<li><a href="http://www.unipd.it">University of Padova</a></li>
<li><a href="http://www.mdh.se/">Mälardalen University</a></li>